cir.nii.ac.jp
新潟大学 / 大学院 自然科学研究科
Knuth-Bendix Completion in Standard ML
等式集合を完備な項書き換えシステムに変換するアルゴリズムの Standard ML による実装
Business social network with 4M professionals
Masaki Haga
株式会社スリーシェイク / Sreake 事業部 アプリケーション開発支援チーム
Trust, but verify.
・プログラミング言語や人に優しい技術・ツールがすき ・ソフトウェアエンジニア (主に Web アプリ開発やパブリッククラウドなど) をやっています ・最近は DevOps の実践に関心があります ・理論計算機科学や言語処理系 (型システム) や関数型プログラミングなどにも興味があります
Ambition
In the future
人 (開発者にもユーザにも) に優しいプログラミング言語やツールの普及と発展に貢献したい．コミュニティや OSS などに支えられながらの日々ですが，享受してきたぶん自分も還元していきたいなと考えています．
/assets/images/5076589/original/a8f69e0b-b288-47a2-b3e2-59b059ef3c53?1590468986){kind=avatar}
株式会社スリーシェイク9 months
Sreake 事業部 アプリケーション開発支援チームPresent
- Present
フルスタックエンジニア業務： ・アプリケーションの開発 ・開発プロセスの Modernization (内製化支援)
/assets/images/13416081/original/868649af-4cde-4108-b5a7-0f0d4cfda4b8?1685351433){kind=avatar}
株式会社ソニックムーブ4 years
開発部 ソリューションユニット
-
主に Web バックエンド・インフラ寄りの業務をやっておりました： ・モバイル，Web アプリケーションのバックエンドやインフラの開発 ・運用中のサービスのサーバレス化やミドルウェアの EOL 対応
新潟大学6 years
大学院 自然科学研究科
-
コンピュータサイエンスの基礎研究．特に「項書き換えシステム」という計算モデルに関する性質を，数理論理学の道具を用いて調べていました．
- Knuth-Bendix Completion in Standard ML
等式集合を完備な項書き換えシステムに変換するアルゴリズムの Standard ML による実装
工学部 情報工学科
コンピュータの仕組みについて学ぶなかで，プログラミング「言語」や数理論理学に興味を持つようになりました．その傍らで，テューバ奏者/指揮者として吹奏楽部でも活動していました．
- Standard ML
研究室で Standard ML というプログラミング言語に出会い，一番思い入れのある言語になりました．
Personal Achievements
Personal Achievements
Personal Achievements
Skills
Publications
Accomplishments / Portfolio
Awards and Certifications
言語
- Japanese - Native