新潟大学 / 大学院 自然科学研究科
置換に関する不動点制約を用いた名目書き換え
修士論文です.PPL 2022 (第24回プログラミングおよびプログラミング言語ワークショップ) でも発表しました.https://jssst-ppl.org/workshop/2022/accepted
400万人が利用するビジネスSNS
株式会社スリーシェイク / Sreake 事業部 アプリケーション開発支援チーム
・プログラミング言語や人に優しい技術・ツールがすき ・ソフトウェアエンジニア (主に Web アプリ開発やパブリッククラウドなど) をやっています ・最近は DevOps の実践に関心があります ・理論計算機科学や言語処理系 (型システム) や関数型プログラミングなどにも興味があります
人 (開発者にもユーザにも) に優しいプログラミング言語やツールの普及と発展に貢献したい.コミュニティや OSS などに支えられながらの日々ですが,享受してきたぶん自分も還元していきたいなと考えています.
フルスタックエンジニア業務: ・アプリケーションの開発 ・開発プロセスの Modernization (内製化支援)
当日スタッフとしてカンファレンスの運営に携わりました
コンピュータサイエンスの基礎研究.特に「項書き換えシステム」という計算モデルに関する性質を,数理論理学の道具を用いて調べていました.
等式集合を完備な項書き換えシステムに変換するアルゴリズムの Standard ML による実装
コンピュータの仕組みについて学ぶなかで,プログラミング「言語」や数理論理学に興味を持つようになりました.その傍らで,テューバ奏者/指揮者として吹奏楽部でも活動していました.
研究室で Standard ML というプログラミング言語に出会い,一番思い入れのある言語になりました.
新潟大学 / 大学院 自然科学研究科
修士論文です.PPL 2022 (第24回プログラミングおよびプログラミング言語ワークショップ) でも発表しました.https://jssst-ppl.org/workshop/2022/accepted