自己紹介
数学と関数型プログラミングを愛でる博士（理学）。数学（集合論をはじめとした数学基礎論および計算代数）と本格ミステリ、関数型プログラミング。時々パズル。
専門と趣味について
- 好きな作家（順不同）
- 麻耶雄嵩、円城塔、森川智喜、円居挽、倉知淳。座右の書は麻耶雄嵩『夏と冬の奏鳴曲』と円城塔『Boy’s Surface』。パズル作家の芦ヶ原伸之さんのエッセイも好き。
- 数学
- 専攻は集合論を初めとした数理論理学、計算代数、および関数型プログラミング。
- プログラミング
- 中学の頃くらいからやっている。おおよそ REALbasic → Ruby → Haskell という遍歴を辿っている。他にも色々な言語をつまみぐいしてみたりしたが、現在は Haskell 一本に落ち着き、飯を食っている。このサイトも Haskell で生成・管理しています。
受賞歴・資格等
- 2015年度 第十四回茗渓会賞
- 2013年度 早稲田大学基幹理工学部卒業生総代
- 2013年度 早稲田大学基幹理工学部長賞最優秀賞（第一回）
年表
- 2024/11〜現在 株式会社Jijソフトウェア開発部
- 2019/04〜2024/10 DeepFlow株式会社 研究開発部
- 2019/04〜2020/03 統計数理研究所 外来研究員
- 2019/03 筑波大学大学院 数理物質科学研究科 数学専攻 博士後期課程修了
- 2017/04〜2019/03 日本学術振興会特別研究員（DC2）
- 2016/04〜 筑波大学大学院 数理物質科学研究科 数学専攻 博士後期課程
- 2016/03 筑波大学大学院 数理物質科学研究科 数学専攻 博士前期課程修了
- 2014/04 Google Summer of Code 2014 採択（Haskell による効率的なGröbner基底計算とそのための疎行列アルゴリズムの実装）
- 2014/04 筑波大学大学院 数理物質科学研究科 数学専攻入学
- 2014/03 同卒業（基幹理工学部総代）
- 2011/04 早稲田大学基幹理工学部 数学科配属
- 2010/10〜2014/03 株式会社 Preferred Infrastructure アルバイト
- 2010/08〜09 株式会社 Preferred Infrastructure インターン生
- 2010/04 早稲田大学基幹理工学部入学
- 2010/03 神奈川県立横浜緑ヶ丘高校卒業
- 1992/01/18 生まれる
Activity
現在・過去の活動記録など。
Papers
Refereed Papers
- Hiromi ISHII, “Automatic Differentiation With Higher Infinitesimals, or Computational Smooth Infinitesimal Analysis in Weil Algebra”, In: Computer Algebra in Scientific Computation 2021, pp. 174-191. DOI: 10.1007/978-3-030-85165-1_11 (Example Repository, arxiv:2106.14153, Slides).
- Hiromi ISHII, “Bidirectional Interplay between Mathematics and Computer Science: Safety and Extensibility in Computer Algebra and Haskell”, Ph.D. Thesis.
- Hiromi ISHII, “A Purely Functional Computer Algebra System Embedded in Haskell” (preprint), In: Computer Algebra in Scientific Computing, pp. 288-303. 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018. DOI: 10.1007/978-3-319-99639-4_20.
- Hiromi ISHII, “Regularity Properties of Sets of Reals and Inaccessible Cardinals”, Master’s Thesis.
- Oleg Kiselyov and Hiromi ISHII, “Freer Monads, More Extensible effects”. Haskell Symposium 2015.
Non-refereed Papers
- Hiromi Ishii, “A Succinct Multivariate Lazy Multivariate Tower AD for Weil Algebra Computation”, Computer Algebra – Theory and its Applications, RIMS Kôkyûroku No. 2185 (2021), pp. 104-112. (arxiv:2103.11615)
Preprints-only
- Hiromi ISHII, “Functional Pearl: Witness Me – Constructive Arguments Must Be Guided with Concrete Witness”, 2021.
Talks
勉強会や社内セミナーなどでの発表記録（直近十件；全一覧）。
- 2024/03/10 Tsukuba Computer Mathematics Seminar 2024＠Hybrid (Ranzan and Online)『充足可能性ソルバ（SAT ソルバ）の原理』（Slides，Implementation，Source Code of Slides）
- 2023/03/12 Tsukuba Computer Mathematics Seminar 2023＠Hybrid (Tsukuba and Online)『Reverse-Mode 自動微分を理解する』（Slides）
- 2022/03/06 Tsukuba Computer Mathematics Seminar 2022＠Hybrid (Tsukuba and Online)『計算代数を駆使して（一般化）フィボナッチ数列の一般項を求める』（Slides）
- 2021/09/15 Computer Algebra in Scientific Computing 2021＠Hybrid (Sochi, Russia and Online)『Automatic differentiation with higher infinitesimals, or computational smooth infinitesimal analysis in Weil algebra』（Slides，Proceedings，Preprint）
- 2021/07/04 alg-d＠YouTube『自動微分とGröbner基底による高次冪零無限小解析（alg_d篇）』（Paper，Slides，YouTube）
- 2020/12/22 Computer Algebra – Theory and its Applications＠Zoom Webinar『自動微分と Gröbner 基底による高次冪零無限小解析』
- 2019/11/09 Haskell Day 2019＠TECH PLAY SHIBUYA『大規模数値計算を支える Haskell ── Pragmatic Haskell in Large-Scale Numerical Computation──』（Slide URL）
- 2018/11/24 数学基礎論若手の会＠コテージにらい恩納『集合論の生成的多元宇宙と地質学入門 生成拡大の織り成すネットワーク』（Slide PDF）
- 2018/09/19 Computer Algebra in Scientific Computing 2018＠University of Lille『A Purely Functional Computer Algebra System Embedded in Haskell』
- 2018/03/05 筑波大学計算機数学グループ 春の合宿 2018＠Nami Kaze Tateyama（旧・筑波大学館山研修所）『SATySFi を使ってみた』
See Talks for all talks.
Pre-publication Reviews
プログラミング関連で幾つか出版前のレビューに協力させて頂きました。
- すごいHaskell楽しく学ぼう！
- 主に他の言語での経験のある人に向けて、Haskell を一から入門するための本。普通の本やなんかとは一線を画した、肩肘はらない独特の語り口で Haskell のキモを学ぶことが出来ます。
- 型システム入門 ─プログラミング言語と型の理論─
- 型理論入門書の定番・Types and Programming Language 待望の和訳。豪華監修・執筆陣による非常に読み易い翻訳に仕上がっています。型理論に興味のある方はぜひ。
- 関数プログラミング入門 ─Haskell で学ぶ技法と原理─
- こちらは Haskell を使った関数型プログラミングの入門書。関数型プログラミングを体系的に基礎から勉強していくのに適しています。残念ながら余りレビューに参加出来なかった為、名前は出さないで頂きました。
- Haskellによる並列・並行プログラミング
- Haskell で並列・並行プログラミングを行う上で必要な知識が網羅された一冊です。Haskell で並列・並行処理を用いたプログラムを書こうと思ったら、まずはこの本は必読書でしょう。低レベルな機能の紹介から始まってそこから抽象度の高いライブラリを設計するところまでを解説しているので、既存のライブラリの裏側を知るのにも役立ちますし、関数型プログラミングの方法論を実感することも出来るでしょう。
Other Publications
- Coqによる定理証明
- Tsukuba Coq Users’ Group による、主に Coq による定理証明の技法についての同人誌。わたしの担当は第三章で、Haskell を定理証明系として用いる方法を解説する記事を書きました。販促記事はこちら。
- プログラミングの魔導書 〜Programmers’ Grimoire〜 Vol.3 “Parallel, Concurrent, and Distributed Programming”
- 株式会社ロングゲート様の技術書に、合成性の高い並行処理を実現する STM についての入門記事を寄稿させて頂きました。拙稿に限らず、並行・並列処理に関するあらゆる知識の詰まった一冊となっておりますので、是非。