cir.nii.ac.jp
関数型まつり 2026 登壇予定 (採択済み)
「2026 年に読む “The Definition of Standard ML” 〜 現代の堅牢なソフトウェア設計の源流として」というタイトルで，関数型プログラミングのアカデミックな部分と現代の開発との橋渡しとなるような発表をします． 勤務先のプレスリリース：https://prtimes.jp/main/html/rd/p/000000435.000024873.html
400万人が利用するビジネスSNS
芳賀 雅樹
株式会社スリーシェイク / Sreake 事業部 アプリケーション開発支援チーム
Trust, but verify.
・プログラミング言語や人に優しい技術・ツールがすき ・ソフトウェアエンジニア (主に Web アプリ開発やパブリッククラウドなど) をやっています ・最近は DevOps の実践に関心があります ・理論計算機科学や言語処理系 (型システム) や関数型プログラミングなどにも興味があります
この先やってみたいこと
未来
人 (開発者にもユーザにも) に優しいプログラミング言語やツールの普及と発展に貢献したい．コミュニティや OSS などに支えられながらの日々ですが，享受してきたぶん自分も還元していきたいなと考えています．
/assets/images/5076589/original/a8f69e0b-b288-47a2-b3e2-59b059ef3c53?1590468986){kind=avatar}
株式会社スリーシェイク1年間
Sreake 事業部 アプリケーション開発支援チーム現在
- 現在
フルスタックエンジニア業務： ・アプリケーションの開発 ・開発プロセスのモダナイゼーション (内製化支援)
/assets/images/13416081/original/868649af-4cde-4108-b5a7-0f0d4cfda4b8?1685351433){kind=avatar}
株式会社ソニックムーブ4年間
開発部 ソリューションユニット
-
主に Web バックエンド・インフラ寄りの業務をやっておりました： ・モバイル，Web アプリケーションのバックエンドやインフラの開発 ・運用中のサービスのサーバレス化やミドルウェアの EOL 対応
新潟大学6年間
大学院 自然科学研究科
-
コンピュータサイエンスの基礎研究．特に「項書き換えシステム」という計算モデルに関する性質を，数理論理学の道具を用いて調べていました．
工学部 情報工学科
コンピュータの仕組みについて学ぶなかで，プログラミング「言語」や数理論理学に興味を持つようになりました．その傍らで，テューバ奏者/指揮者として吹奏楽部でも活動していました．
個人の実績
個人の実績
個人の実績
スキルと特徴
出版と執筆
実績
受賞と資格
言語
- 日本語 - ネイティブレベル