Entries from 2010-03-08 to 1 day
私的まとめ。 直観主義様相論理っぽい構造が最近の流行になっていたりいなかったりするらしい アスペクト思考って,プログラムにテキスト上の配置とは別の位相を入れることなんじゃないかな 線形論理の結合子を日常会話でも使うようにするといいと思うよ 後…
私的まとめ。 直観主義様相論理っぽい構造が最近の流行になっていたりいなかったりするらしい アスペクト思考って,プログラムにテキスト上の配置とは別の位相を入れることなんじゃないかな 線形論理の結合子を日常会話でも使うようにするといいと思うよ 後…