merom686
- いいね数 68,598/65,408
- フォロー 229 フォロワー 565 ツイート 24,026
- 現在地 家の中
- Web https://merom686.hatenablog.com/
- 自己紹介 プログラミング(書く)、アニメ(みる)、将棋(指す)、数学・漫画(ちょっとだけ好きだけど最近やってない)、囲碁は初級レベル、AtCoderは青、ぷよぷよはウィッチ。アイコンの羽はhttp://twitpic.com/81ssmc。好きなアニメはカスミン。
Favolog ホーム
» @merom686
» 2012年11月16日
並び順 : 新→古 | 古→新
2012年11月16日(金)
#数誤苦 続き。証明の仮定側と結論側の双対性をよく観察した後で、数理論理学の教科書の索引で「LK」を探して解説を読んでみれば、誰でも「おお、そのまんまじゃん!」と感じるに違いありません。 t.co/aGCql55s はそこまで射程に入れたツイートなのでした。
タグ: 数誤苦
posted at 16:16:49
非公開
タグ:
posted at xx:xx:xx
スポンサーリンク