大学・大学院時代の研究テーマは、「プログラムの停止性の自動検証」 ー つまり任意の入力に対しプログラムが停止するかを自動で検証する手法についてだったのですが、プログラムの停止性の特徴付けとして有名なものにRanking関数(Ranking function)がありま…

スタック・オーバーフローにてText.Parser.Token.StyleのemptyIdentsの使い方について haskell - Text.Parser.Token.StyleのemptyIdentsの使い方について - スタック・オーバーフローといった質問をしたところ、このような回答を頂き、レコード更新構文につ…