ipsj.ixsq.nii.ac.jp
新潟大学 / 工学部情報工学科
吹奏楽部での活動
テューバを演奏しつつ，指揮者としてコンクールや演奏会の合奏練習なども行いました．
芳賀 雅樹
株式会社ソニックムーブ / 開発部 (エンジニア)
400万人が利用する会社訪問アプリ
芳賀 雅樹
株式会社ソニックムーブ / 開発部 (エンジニア)
The Little Standard MLer
プログラミング言語や，人に優しい技術・ツールがすきです．ソフトウェアエンジニア (Web) をやっています．計算機科学や言語処理系 (型システム) に興味があります．
この先やってみたいこと
未来
人 (開発者にもユーザにも) に優しいプログラミング言語やツールの発展に貢献したい． コンピュータサイエンスの知見を深めたり，できれば仕事で活かしたりしたい．
/assets/images/13416081/original/868649af-4cde-4108-b5a7-0f0d4cfda4b8?1685351433){kind=avatar}
株式会社ソニックムーブ2年間
開発部 (エンジニア)現在
- 現在
主にバックエンド・インフラ寄りの業務を任せていただきながら，日々修行しています．
新潟大学6年間
大学院自然科学研究科
-
コンピュータサイエンスの基礎研究，特に「項書き換えシステム」という計算モデルに関する性質を，数理論理学の道具を用いて調べていました．
- Knuth-Bendix Completion in Standard ML
等式集合を完備な項書き換えシステムに変換するアルゴリズムの Standard ML による実装
工学部情報工学科
コンピュータの仕組みについて学ぶなかで，プログラミング「言語」や数理論理学に興味を持つようになりました．その傍らで，テューバ奏者/指揮者として吹奏楽部でも活動していました．
- Standard ML
研究室で Standard ML というプログラミング言語に出会い，一番思い入れのある言語になりました．
スキルと特徴
+4件
出版と執筆
+3件
実績
+2件
受賞と資格
+2件
言語
- 日本語 - ネイティブレベル