過去のお知らせ & 近況

2026年

• 理論計算機科学と圏論ワークショップ CSCAT 2026を2026年3月16日（月）17日（火）にAOSSA（福井市）で開催します．

2025年

• 『「極限」とはなんですか』という記事を数学セミナー 2025年11月号に寄稿しました．
• 日本ソフトウェア科学会第42回大会で逆微分圏に基づいたアローハンドラによるニューラルネットワークプログラミング言語に向けて（平井謙信氏，星野恵佑氏，勝股審也氏との共同研究）という発表を行いました．スライド．