t_wの輪郭

微分可能論理ゲート

2025/7/6 1:27:00

『n月刊ラムダノート「特集：計算とは何か」Vol.6, No.1（2026）萩谷昌己(著) - ...

計算微分可能論理ゲートホモトピー型理論『n月刊ラムダノート』依存型理論

『n月刊ラムダノート「特集：計算とは何か」Vol.6, No.1（2026）萩谷昌己(著) - ...

振り返り2026年1月31日