ι retweeted
本を書きました！
刊行はまだ先ですが、情報だけ先に出します！
『様相論理入門―形式的証明とクリプキモデルで学ぶ論理体系―』
共立出版、2027年3月刊行予定
数理論理学の初学者から、様相論理を学びたい方、すでに知っている方まで学べるはずです。
演習問題の解答も完備。
ぜひご検討ください！
ι retweeted
Delighted that "Flow Typing: A New Lens on Linearity" has been (conditionally) accepted for POPL 2027. Fantastic work by Sky Wilshaw! tinyurl.com/2j26dyyn
ι retweeted
Claude Codeの質問、選択肢だけ見ても「何の話だっけ？」ってなりませんか？
それを解消するclaudemodの「qa-guide」を公開しました🎉
claudeからの質問が来ると、なぜ聞いているのか・各選択肢を選ぶとどうなるか・おすすめを、横のペインにAIがまとめて表示します
👇インストール
/plugin marketplace add aieo-product/claude_qamods
/plugin install qa-guide@claude-qamods
#claude
ι retweeted
users are already extending Nvim 0.13 multicursor 💦
(cursors are queryable as an extmarks namespace)
here's a script by celeste3z to get "align" functionality (similar to tabular, vim-lion):
github.com/neovim/neovim/dis…
ι retweeted
ocaml.jp/events/ocaml_meetin…
OCaml Meeting 2026 in Tokyo のサマリを掲載しました
参加者の方にはメールで事後アンケートも送っているので、回答いただけると次の開催に繋がるかもしれません
#OCamlMeeting