専門・興味
('03 10)
四月から圏論、数理論理学、情報科学に関わっています。
categorical logic, fibred category がとりあえずのキーワード。
個人的に線形論理の Geometry Of Interaction に興味があったり、現在やっていることと下に書いたような話題とつながればいいな、と思っています。
(旧版)
「結び目理論に関わる諸分野」に興味をもっています。特に量子不変量や ウェイト・システムなど代数的なものとの関わりに興味があります。
- 書いたもの
- 修士論文の題目は「標数 5の体に値をとる 3次元多様体の普遍量子不変量」でした。
- Knotted trivalent graphs とその普遍量子不変量が面白いです。associator、 補空間の双曲体積、ある結び目を作るための新しい手法など、目を引く話題が
いろいろと関係しています。
前のページへ