Masaki Hara
ウォンテッドリー株式会社 / DXエンジニア (Developer Experience)
Masaki Hara
ウォンテッドリー株式会社 / DXエンジニア (Developer Experience)
Profile
Connections
Masaki Hara
ウォンテッドリー株式会社 / DXエンジニア (Developer Experience)
Why not create your own Wantedly profile?
Showcase yourself and your experiences to bring your professional story to life.
Joinキャッチコピー・好きな言葉
コンピュータープログラムに関わるあれこれが趣味で、仕事です。
In the future
In the future
OSSを書いたりしながらのんびりしたい
-
Present
ウォンテッドリー株式会社
DXエンジニア (Developer Experience)Present
Aug 2020 -
地道なコード品質の改善から、開発生産性を飛躍的に向上させる飛び道具作りまで、アプリケーションエンジニアが心地よく作業できる環境作りのために何でもやる役割です。
サーバーサイドエンジニア
July 2018
機械学習エンジニア
Apr 2018
Wantedly Peopleの機械学習チームで会社名の検索の改善を行いました。
-
Mar 2018
東京大学
情報理工学系研究科 コンピュータ科学専攻
Apr 2016 - Mar 2018
余帰納法や余代数について、形式的検証や型理論への応用を念頭に研究していました。 もともと考えていたテーマが行き詰まってしまいましたが、余帰納法に関連したテーマとして、ストリーム定義のproductivityという性質の自動検証に関する研究にシフトすることになりました。このテーマで会議等に通すことはありませんでしたが、修士課程を無事に終えることができました。
理学部情報科学科
Apr 2014
余帰納法の拡張に対するメタ的な解析を行いました。余帰納法は数学的帰納法と裏表の関係にある証明手法で、計算機科学分野でよく使われています。
ipc_bot
Oct 2013
教養学部 理科一類
Apr 2012
-
July 2017
河合塾
講師 (アルバイト)(Intern)
Aug 2014 - July 2017
河合塾の中高生向けの非受験特化型講座である「K会」にて情報科学とプログラミングを教えていました。通年講座の設立に関わり、教材一式を執筆しました。
-
Mar 2013
株式会社レピダム
アルバイト(Intern)
June 2012 - Mar 2013
https://lepidum.co.jp/ 認証・認可を中心とした様々なWeb技術を扱う会社でアルバイトをさせてもらっていました。
-
Mar 2012
某中高一貫校
Apr 2006 - Mar 2012
第23回 国際情報オリンピック タイ大会(IOI2011) 銀メダル(302人中28位タイ)
July 2011
第22回 国際情報オリンピック カナダ大会(IOI2010) 金メダル(300人中16位タイ)
Aug 2010
Supercomputing Contest 2010 優勝 (チームZATORIKU)
May 2010
Supercomputing Contest 2009 優勝 (チームZATORIKU)
May 2009
日本学生科学賞 中学の部 ICT部門 文部科学大臣賞
May 2007
Skills and qualities
Rust
ふしぎなおどり
癒やし系
AtCoder黄色
Publications
yarn v2にまつわる誤解
May 2021
奇妙な曜日バグ
Apr 2021
部分読み取り・部分書き込みを許す言語とそうでない言語
Apr 2021
Babelプラグインの順序とallowDeclareFieldsの妙
Mar 2021
TypeScriptにはanyが4種類、undefinedが3種類、……
Jan 2021
Show more
Accomplishments/Portfolio
ipc_bot
Oct 2013
Awards and Certifications
第23回 国際情報オリンピック タイ大会(IOI2011) 銀メダル(302人中28位タイ)
July 2011
第22回 国際情報オリンピック カナダ大会(IOI2010) 金メダル(300人中16位タイ)
Aug 2010
Supercomputing Contest 2010 優勝 (チームZATORIKU)
May 2010
Supercomputing Contest 2009 優勝 (チームZATORIKU)
May 2009
日本学生科学賞 中学の部 ICT部門 文部科学大臣賞
May 2007