2025.11.17
https://gyazo.com/3e3b3cc8a3d6570837f467af9a923bd5
トキシックマスキュラー
前：
2025.11.16
後：
2025.11.18
#日報
連絡
紙の音MAD Vol.1
に
@lachrymaL_F
と一緒に受けたインタビューが出ます
『紙の音MAD Vol.1』の「音MADとデータベース」というテーマについて、私と
lachrymal
とで一緒に受けたインタビューが載っています。私が以前に開発していた
OTOMADB
と、現在開発・運用が進んでいる
http://otodb.net
(
otodb
) の開発動機や思想などについて色々話しています。ぜひどうぞ
https://x.com/SnO2WMaN/status/1990388148233281578
私は行けないのですが…
思った
イケダ
さんはまあいいとして，
アマハム2
さんは何を語るのか気になる．
a+b讠
『命題「全ての音MADはKan拡張である」について』
?
GROWIというWikiに
Vivliostyle
という
CSS組版
ツールを組み込んでオンラインで本をみんなで作れる環境を作ったという話が載っています。あと表紙。
https://x.com/kami_zake/status/1990405369693118624
神酒
これ純粋に気になる
連絡2
https://gyazo.com/e48942bdf78476de9b8a759cdb03ca10
解釈可能性論理
の動物園が出来てきた．このことについて
解釈可能性論理
の
Veltman意味論
の形式化について
TPP2025
で軽く報告します．
メモ
https://gyazo.com/4823dc6205050053317c0e86dca0b63d
https://github.com/rust-lang/homu