Takayuki Kihara

東北→JAIST→UC Berkeley→名古屋: Professor at Nagoya University, Mathematics, Logic, Computability Theory

[Takayuki Kihara @tri_iro]

Lawvereの不動点定理を補正してKleeneの再帰定理を導くようにするなら、個人的にはこんな感じにするのが好みかも
https://t.co/mpOLhjtD2A

[Takayuki Kihara @tri_iro]

まあもちろんAndrejがやっているように多価版を考えることで、クリーネの再帰定理の抽象化みたいなものは作れるけど
https://t.co/ZiltCWVl63

[Takayuki Kihara @tri_iro]

Lawvereの不動点定理からクリーネの再帰定理って直ちには導けなくないですか？（Yanofskyの不動点論文には誤りがある）と常々思っていたので、他の人もそう指摘しているようで良かった

[Joel David Hamkins @JDHamkins]

James Hanson has a dagger out for the hype surrounding the Lawvere fixed-point theorem.
https://t.co/xhLQJPKDVx

[Takayuki Kihara @tri_iro]

2026年度予定3: オーストララシア論理学会でも Plenary Talk を行います．ニュージーランドひさしぶり！
https://t.co/OnQqjlSX7i

[Takayuki Kihara @tri_iro]

2026年度予定: スロベニアとの二国間共同研究プロジェクト（スロベニア側代表: Andrej Bauer）が採択されたので、今年度からはAndrej Bauerたちと一緒に面白い共同研究をしていきたいー。
スロベニアのロジックグループは他にもAndrew SwanやAlex Simpsonなど面白いことやってる人が沢山いるので楽しみ

[Takayuki Kihara @tri_iro]

2026年度予定2: 今年度の Logic Colloquium では Plenary Talk を行います．今年度の Logic Colloquium はイギリスの Swansea で開催です．
https://t.co/u3IAGYpp5v

[Takayuki Kihara @tri_iro]

@ikoiko115 ありがと〜！

[Takayuki Kihara @tri_iro]

今日写真撮ったばかりなのに、もう「人々」更新されてましたね。仕事がはやい
https://t.co/vNeyBmwpY7

[Takayuki Kihara @tri_iro]

新年度となり、職場が以前より東に徒歩10分の地へと移りました。新職場の皆さまどうぞよろしくお願いいたします。しばらくはぼーっとして通勤先の職場を間違えないように頑張ります

[Takayuki Kihara @tri_iro]

新年度となり、職場が以前より東に徒歩10分の地へと移りました。新職場の皆さまどうぞよろしくお願いいたします。しばらくはぼーっとして通勤先の職場を間違えないように頑張ります

[Takayuki Kihara @tri_iro]

木田先生の本はちゃんと買ったので勉強します

[Takayuki Kihara @tri_iro]

最近の出来事2: 第4回ロジックウィンタースクール楽しかった！
https://t.co/TY02Fa16wz
今回はエルゴード群論の木田先生などややロジック外の人を招いて講義してもらって、とても良かったです。他にも幾何群論、ホモロジー的等式論理などの話も色々聞けて最高でした

[Takayuki Kihara @tri_iro]

最近の出来事1: 研究室の学生にアイススケートに連れて行かれて、人生初のアイススケートを体験しました。めっちゃ楽しかったけど、アイススケートで負ったダメージ（？）が全然治癒しないのだが……

[Takayuki Kihara @tri_iro]

ウィンタースクール、何の講義しようかと思ってたけど、Ahman-Bauerのオラクル層論文が上がったことだし、これ系の話でもしようかな

[arXiv math.LO Logic @mathLOb]

Danel Ahman, Andrej Bauer: Sheaves as oracle computations https://t.co/V6Q68UtjtP https://t.co/B7pieZFjmq https://t.co/CHHu0uM167

[Takayuki Kihara @tri_iro]

なのでイデアルの複雑性と実効トポスの部分トポスの構造（計算の強化方法の複雑性）が関連しているのは自然なことだなあ、と個人的には納得感のある論文になって、結構お気に入りです

[Takayuki Kihara @tri_iro]

新作: 集合論においてイデアルの複雑性を測る Katetov順序の亜種に、実効トポスの部分トポスの幾何埋め込み順序を対応付けてその構造を分析する論文です。

[Takayuki Kihara @tri_iro]

実際に、実効トポスの部分トポスの構造を見ると、この基盤となる、計算を強化する概念として「少数の失敗を許す計算」があることが分かります。そして少数派の概念が、数学的にはイデアルとして与えられるということで

[arXiv math.LO Logic @mathLOb]

Takayuki Kihara, Ming Ng: The Game-Theoretic Kat\v{e}tov Order and Idealised Effective S... https://t.co/Oav8BaGlxK https://t.co/TAbmz4niLj https://t.co/oENfgC9hK5