サクサク読めて、アプリ限定の機能も多数!
いずれ消滅する太陽系からの人間の知性脱出。萩谷 昌己教授 Masami Hagiya 専門は理論計算機科学。京都大学時代にKyoto Common Lispを開発。現在は、分子コンピューティング(さらに分子ロボティクス)の研究も進めている。
hamamuratakuo のブックマーク 2021/07/06 11:16
東大 理学部情報科学科/大学院情報理工学系研究科|情報科学科NAVIgation[プログラミング]いずれ消滅する太陽系からの人間の知性脱出。萩谷 昌己教授 Masami Hagiya 専門は理論計算機科学。京都大学時代にKyoto Common Lispを開発。現在は、分子コンピューティング(さらに分子ロボティクス)の研究も進めている。2021/07/06 11:16
このブックマークにはスターがありません。 最初のスターをつけてみよう!
www.is.s.u-tokyo.ac.jp2013/04/15
コンピュータの基礎原理を考えたチューリング、「嘘つきのパラドックス」でおなじみの論理学をプログラムの検証に使う話、いずれ消滅する太陽系からの人間の知性脱出。ふらりと部屋を訪れた理論計算機科学の専門...
17 人がブックマーク・3 件のコメント
\ コメントが サクサク読める アプリです /
いずれ消滅する太陽系からの人間の知性脱出。萩谷 昌己教授 Masami Hagiya 専門は理論計算機科学。京都大学時代にKyoto Common Lispを開発。現在は、分子コンピューティング(さらに分子ロボティクス)の研究も進めている。
hamamuratakuo のブックマーク 2021/07/06 11:16
このブックマークにはスターがありません。
最初のスターをつけてみよう!
東大 理学部情報科学科/大学院情報理工学系研究科|情報科学科NAVIgation
www.is.s.u-tokyo.ac.jp2013/04/15
コンピュータの基礎原理を考えたチューリング、「嘘つきのパラドックス」でおなじみの論理学をプログラムの検証に使う話、いずれ消滅する太陽系からの人間の知性脱出。ふらりと部屋を訪れた理論計算機科学の専門...
17 人がブックマーク・3 件のコメント
\ コメントが サクサク読める アプリです /