matzにも解るよう、禅問答的に #ATS2 の型理論を説明してみたよ

禅問答的に #ATS2 の型理論 "Applied Type System" を説明してみたよ (参考文献: 静的な意味論 http://jats-ug.metasepi.org/doc/ATS2/INT2PROGINATS/x235.html )
17
前へ 1 ・・ 7 8
I moved to Mastodon. @masterq_mogumog

@koie でもぼくらの宇宙もいずれダークマターになって揮発してしまうんじゃなかったでしたっけ？

2014-12-14 18:23:49
鯉江 @koie

@masterq_mogumog そこはそうですね。観測(値)でしか世界を調べられない。

2014-12-14 18:24:19
I moved to Mastodon. @masterq_mogumog

@koie 数学と物理、、、コインの表と裏ですね。。。

2014-12-14 18:24:45
I moved to Mastodon. @masterq_mogumog

型=>値 が数学で、値=>型 が物理。

2014-12-14 18:25:19
前へ 1 ・・ 7 8

いま話題のタグ

同人1992 離婚364 登山875 平沢進357 推しの子84 孤独死65 任天堂1050 初見感想からしか取れない栄養素がある25 対魔忍38 サーティワン31 仕事3326 おがくず153 志摩スペイン村26 ゲーム68068 竹田くん5