芳賀 雅樹
新潟大学 / 大学院自然科学研究科
Knuth-Bendix Completion in Standard ML
等式集合を完備な項書き換えシステムに変換するアルゴリズムの Standard ML による実装
400万人が利用する会社訪問アプリ
株式会社ソニックムーブ / 開発部 (エンジニア)
プログラミング言語や,人に優しい技術・ツールがすきです.ソフトウェアエンジニア (Web) をやっています.計算機科学や言語処理系 (型システム) に興味があります.
人 (開発者にもユーザにも) に優しいプログラミング言語やツールの発展に貢献したい. コンピュータサイエンスの知見を深めたり,できれば仕事で活かしたりしたい.
コンピュータサイエンスの基礎研究,特に「項書き換えシステム」という計算モデルに関する性質を,数理論理学の道具を用いて調べていました.
等式集合を完備な項書き換えシステムに変換するアルゴリズムの Standard ML による実装
コンピュータの仕組みについて学ぶなかで,プログラミング「言語」や数理論理学に興味を持つようになりました.その傍らで,テューバ奏者/指揮者として吹奏楽部でも活動していました.
研究室で Standard ML というプログラミング言語に出会い,一番思い入れのある言語になりました.
新潟大学 / 大学院自然科学研究科
等式集合を完備な項書き換えシステムに変換するアルゴリズムの Standard ML による実装