tani
banner
tani.cc
tani
@tani.cc
I am a LISP interpreter.
github.com/mchav/with これ、めっちゃ発明
GitHub - mchav/with: Command prefixing for continuous workflow using a single tool.
Command prefixing for continuous workflow using a single tool. - mchav/with
github.com
November 18, 2025 at 3:01 PM
インターネットが壊れた!
November 18, 2025 at 2:28 PM
Xeus-Haskell is now a part of jupyter-xeus github.com/jupyter-xeus... !
November 18, 2025 at 10:02 AM
Reposted by tani
Incredible!
tani.cc tani @tani.cc · 13d
vaibhavsagar.com/blog/2024/07...

I read your article and immediately created a JupyterLite kernel for Haskell. I used MicroHs instead of GHC, though. I lack the skill to get a C API from Haskell, but it seems possible to port it using a similar method.

@vaibhavsagar.com
November 16, 2025 at 12:52 PM
毎年、圏論入門しているのでもはや圏論入門のプロである。
禁煙が得意みたいなやつ。
November 16, 2025 at 10:25 AM
圏論を勉強したい! プログラマーのための圏論を読もう。Haskell のサンプルコードがあるな。Haskell の環境構築めんどくさいな。Haskell の動く JupyterLite カーネルをつくろう。(イマココ)

大分脱線してしまったな。やっと圏論を勉強するぞ!
November 16, 2025 at 9:37 AM
vaibhavsagar.com/blog/2024/07...

I read your article and immediately created a JupyterLite kernel for Haskell. I used MicroHs instead of GHC, though. I lack the skill to get a C API from Haskell, but it seems possible to port it using a similar method.

@vaibhavsagar.com
November 16, 2025 at 9:26 AM
I’m pleased to announce the release of a new Haskell Jupyter kernel:
github.com/tani/xeus-ha...

You can even try Haskell directly in your browser—the kernel is compiled to WebAssembly thanks to @Augustsson
’s MicroHs.
GitHub - tani/xeus-haskell: jupyter / jupyterlite kernel for Haskell
jupyter / jupyterlite kernel for Haskell. Contribute to tani/xeus-haskell development by creating an account on GitHub.
github.com
November 16, 2025 at 5:27 AM
生き残った人が生き残っているだけで、「秀才→研究者になれる」訳でもないし、「凡夫→研究者になれる」でもない。研究者になった人が研究者になっただけ。
tani.cc tani @tani.cc · Oct 24
僕が10代の頃、研究者っていうのはそれはもう東大に首席合格するような天才がなるもの、という反応で、ネット掲示板もそう書いているのをよく見た。今でも、そういう反応をする大人はいる。ただ、いざ科研費持ちの研究者になった、今、周りを見てみると、高専出身、通信制高校に通った人、大検とって入学してきた人、適当な私大出身の人、いろんな人がいる。案外、大人は事実を知らずにそれっぽく言ってくる人が多い。気にしてはいけないよ。
October 24, 2025 at 12:34 PM
僕が10代の頃、研究者っていうのはそれはもう東大に首席合格するような天才がなるもの、という反応で、ネット掲示板もそう書いているのをよく見た。今でも、そういう反応をする大人はいる。ただ、いざ科研費持ちの研究者になった、今、周りを見てみると、高専出身、通信制高校に通った人、大検とって入学してきた人、適当な私大出身の人、いろんな人がいる。案外、大人は事実を知らずにそれっぽく言ってくる人が多い。気にしてはいけないよ。
October 24, 2025 at 12:30 PM
server side で xypic (xyjax) と mathjax を同時に動かせる 数式レンダラーを公開しました。 github.com/tani/mathxyj...
September 23, 2025 at 2:41 AM
melpa.org#/eprolog melpa で eprolog (emacslispで書かれた prolog処理系) がインストールできるようになりました。
MELPA
The largest and most up-to-date repository of Emacs packages.
melpa.org
August 25, 2025 at 9:46 AM
Emacs に Prolog を移植することで簡単な論理式の証明探索とかができるようになった。org-mode と組合せるともう研究ノートの完成だ。
August 14, 2025 at 7:15 AM
夏は暑いので仙台に引き込もります。
August 9, 2025 at 1:06 PM
ぼくはsnsをやったり都会に住んだりして、イケイケな人たちを見ると心が荒んでいくたちなので、一ヶ月に一度くらい物見遊山に済ませておくのがよいのだと30になってやっと学んだ。
March 9, 2025 at 1:34 AM
ただ まだ jsarticle じゃなくて jarticle なのはなぜなのだろう
February 21, 2025 at 1:59 PM
科研費LaTeXが jarticle を ltjarticle にするだけでコンパイルが通るようになって感動した。
February 21, 2025 at 1:58 PM
ロジックウィンタースクールの世話人だったよ。
February 21, 2025 at 1:52 PM
YAMLの変数参照という闇に手を染めてしまった。
ああスパゲッティYAMLになっていく ...
January 20, 2025 at 11:09 AM
つぎ引っ越すときも人の少ない田舎部にすみたい。
January 3, 2025 at 9:10 AM
普段は仙台の閑静なところに住んでいるのですが、首都圏に帰省するとパトカーやら救急車やらが終日なりっぱなしで「都会は忙しいなぁ」という感想になっている。
January 3, 2025 at 9:10 AM
Reposted by tani
vim-jpラジオのtaniさんの回を聞いていた。そういうバックグランドの方だったのか〜。やっぱり他の人のバックグランドの話は面白い。
December 30, 2024 at 2:26 AM
心当たりは何もないけど、ここ一年でなぜか、論文の執筆速度が上がった気がする
December 27, 2024 at 3:13 AM
Reposted by tani
【ryoppippiさんとDr.taniさんに聞く!"OSS活動について”と"若さの価値"】エンジニアの楽園 vim-jp ラジオ #24
https://audee.jp/voice/show/95783 #vimjpradio
エンジニアの楽園 vim-jp ラジオ|【ryoppippiさんとDr.taniさんに聞く!"OSS活動について”と"若さの価値"】エンジニアの楽園 vim-jp ラジオ #24|AuDee(オーディー) | 音声コンテンツプラットフォーム
エンジニアコミュニティ「vim-jp」のラジオ版としてスタートした「エンジニアの楽園 vim-jp ラジオ」。 前回に引き続き、vim-jpのMr.ビーンことryoppipp……
audee.jp
December 23, 2024 at 3:04 AM