エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
この方は - Nobuhisa's diary
国立情報学研究所の先生が型付きラムダ計算についての難問を解決したそうで。未解決問題22問のリストが... 国立情報学研究所の先生が型付きラムダ計算についての難問を解決したそうで。未解決問題22問のリストがあって、このリスト中の問題解決は世界初だって。スゲー! http://d.hatena.ne.jp/siokoshou/20080618#p1 すげー! 問題そのものを解いたのは去年みたいですね。 http://research.nii.ac.jp/TechReports/07-010E.html まあとりあえず結論的には、 「遺伝的置換子に対する型は存在しない」らしいです。明日テストに出るね。 さっぱりわけワカメです。λ そんなある日(まあさっきですが)、突然インスピレーションが。 僕のニューロンが微かに反応したので神経回路を探索していたら思い出しました。 USKさんが欲しがってた「型理論」を書いた方だ! http://d.hatena.ne.jp/uskz/20070829/p1 こんな前