フォーカス（角谷） | focus | 教員紹介 | 東京大学 大学院 情報理工学系研究科
プログラムの中に潜む真の意味を知りたい コンピュータ科学専攻 角谷良彦 助教 圏論の言葉でナゾ解きし、理論研究に生かす 計算機システムの「安心・安全」研究のために 「プログラミング言語で書かれたプログラムの意味をきちんと調べたら、そのプログラムが抱えている問題点が見えてくるかもしれない。そんなところにメスを入れたいのです」。角谷助教が攻めているのは、既存のプログラミング言語などが内包している問題のナゾ解きをし、パズルが解けて答えがわかったら、それを新しい理論研究などに活用しようというのが狙いなのだ。具体的には、圏論（Category Theory）という数学的な言葉で記述することによって、別々に行われていたものを共通の枠組みで扱い、解決の道を探ろうというのだ。 圏論への翻訳の壁、乗り越える策を探る 角谷助教は、萩谷研究室のメンバー。研究室のキャッチフレーズの1つは『安心と安全』である。この
東大 理学部情報科学科／大学院情報理工学系研究科｜情報科学科NAVIgation
きわめて抽象度が高く、それゆえに近寄りがたい印象がもたれている圏論。その圏論のもわーっとしている入口へ案内します。とはいえ、圏論のきちんとした定義をわずかな文章で示してもわかりにくいばかりなので、ここではまず小さな例で雰囲気をつかんでください。興味がわいたら、最後に紹介する文献をどうぞ。 矢印ばっかり描いているのだ 数学では普通、「集合 A があって、その元 a ∈ A があって……」というように、集合ベースで話が進みます。圏論というのは、代わりに対象と射を使う数学のコトバです。ぱっと見でいえば、「矢印ばかり描いている」という印象になるでしょう。 次の図を見てください。 X、Y、Z、X ⊔ Y というのが対象で、その間に描いてある矢印が射です。 圏論ではこの図を、 X、Y が与えられたとき、 特別な X ⊔ Y と、κ1、κ2 がとれる。 どう特別かというと、ほかに Z とf、g というも
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
