ipsj.ixsq.nii.ac.jp
AWS Certified Cloud Practitioner
AWS クラウドサービスとクラウドコンピューティングの基礎知識
雅樹 芳賀
株式会社ソニックムーブ / 開発部 (エンジニア)
Discover companies you will love
雅樹 芳賀
株式会社ソニックムーブ / 開発部 (エンジニア)
The Little Standard MLer
プログラミング言語や，人に優しい技術・ツールがすきです．Web業界でソフトウェアエンジニアをやっています．計算機科学や言語処理系 (型システム) に興味があります．
Ambition
In the future
人 (開発者にもユーザにも) に優しいプログラミング言語やツールの発展に貢献したい． コンピュータサイエンスの知見を深めたり，できれば仕事で活かしたりしたい．
/assets/images/13416081/original/868649af-4cde-4108-b5a7-0f0d4cfda4b8?1685351433){kind=avatar}
株式会社ソニックムーブ2 years
開発部 (エンジニア)Present
- Present
主にバックエンド・インフラ寄りの業務を任せていただきながら，日々修行しています．
新潟大学6 years
大学院自然科学研究科
-
コンピュータサイエンスの基礎研究，特に「項書き換えシステム」という計算モデルに関する性質を，数理論理学の道具を用いて調べていました．
- Knuth-Bendix Completion in Standard ML
等式集合を完備な項書き換えシステムに変換するアルゴリズムの Standard ML による実装
工学部情報工学科
コンピュータの仕組みについて学ぶなかで，プログラミング「言語」や数理論理学に興味を持つようになりました．その傍らで，テューバ奏者/指揮者として吹奏楽部でも活動していました．
- Standard ML
研究室で Standard ML というプログラミング言語に出会い，一番思い入れのある言語になりました．
Skills
Publications
Accomplishments / Portfolio
Awards and Certifications
言語
- Japanese - Native