自己紹介

某政府系研究機関で情報系研究者をやっています。

経歴

某大学数理科学研究科で博士(数理科学)取得。指導教員は計算機科学(実質、圏論)だったけど圏論はよくわからなかったので、古典論理の構成的解釈とくにラムダ計算を拡張して古典論理に対応させる研究をしていた。そういう体系が強正規性(計算順序によらず計算が停止すること)をいくつか証明したりした。そのあと低迷してたけど某政府系研究機関でプログラムの形式検証とかをやってた。機械学習ぽいことに手を出したら急に被引用度が増えたりしている。一方で限定算術とかにも興味があったりする。

趣味とか

  • 人と話すこと(でも下品な話は嫌い。あと必要以上にフランクだったり親密感を演出してくる人も嫌い)
  • 各国料理食べ歩き
  • コーヒー好き
  • 料理習いたい
  • 恋愛対象:女性

アカデミックな出版物

プレゼンテーション

その他書いたもの

連絡先

  • メール:GMailのyoriyuki.y
  • twitter: @yoriyuki(日本語)@yoriyukiE(英語)