Masaki Hara
ウォンテッドリー株式会社 / サーバーサイドエンジニア
Masaki Hara
ウォンテッドリー株式会社 / サーバーサイドエンジニア
Profile
Connections
Masaki Hara
ウォンテッドリー株式会社 / サーバーサイドエンジニア
キャッチコピー・好きな言葉
アルゴリズムや言語処理系など理論が好きですが、ハードウェアやWebなどにも広く興味があります。最近はプログラミングRustにハマっています。
第23回 国際情報オリンピック タイ大会(IOI2011) 銀メダル(302人中28位タイ)
Supercomputing Contest 2010 優勝 (チームZATORIKU)
第22回 国際情報オリンピック カナダ大会(IOI2010) 金メダル(300人中16位タイ)
Supercomputing Contest 2009 優勝 (チームZATORIKU)
日本学生科学賞 中学の部 ICT部門 文部科学大臣賞
In the future
In the future
Rust 2020年は、業務でRustを使える環境整備をがんばります。
-
Present
ウォンテッドリー株式会社
サーバーサイドエンジニアPresent
July 2018 -
TypeScriptの表現力で自由なJavaScriptに立ち向かう 〜 Immutable.js 編 〜
Jan 2021
Jan 2021
2つのWebpack buildを1つに統合した話
Jan 2021
Jan 2021
Webpackがモジュールを2回読み込まないためにした3つのこと
Jan 2021
Jan 2021
TypeScriptで可変長引数から型をいい感じに推論する
Dec 2020
Dec 2020
GoのスライスとRustのスライス
Oct 2020
Oct 2020
実践Rustプログラミング入門
共著者として、一部分を執筆しました。
Aug 2020
Aug 2020
ディストロのrbenvで最新のRubyをいち早く取得する
Dec 2019
Dec 2019
Rails migrationでスキーマの不整合を修正する
Nov 2019
Nov 2019
小ネタ: Ruby 2.5.0 の細かい構文的変化
Dec 2018
Dec 2018
小ネタ: railsとpg gemのバージョン互換性
Nov 2018
Nov 2018
機械学習エンジニア
Apr 2018
Wantedly Peopleの機械学習チームで会社名の検索の改善を行いました。
-
Mar 2018
東京大学
情報理工学系研究科 コンピュータ科学専攻
Apr 2016 - Mar 2018
余帰納法や余代数について、形式的検証や型理論への応用を念頭に研究していました。 もともと考えていたテーマが行き詰まってしまいましたが、余帰納法に関連したテーマとして、ストリーム定義のproductivityという性質の自動検証に関する研究にシフトすることになりました。このテーマで会議等に通すことはありませんでしたが、修士課程を無事に終えることができました。
alg_d伝説に出演
漫画「alg_d伝説(仮称)」に味方側のキャラクターとして出演しました。alg_d伝説はワヘイヘイ氏が執筆、alg_d氏が公開しているTwitter上の漫画で、実在する人物と数学の話題を多く含むためにコアなファンが多くついています。 キャラクターとして選ばれた経緯はこちら→ https://togetter.com/li/1193031
Sept 2020
Sept 2020
理学部情報科学科
Apr 2014
余帰納法の拡張に対するメタ的な解析を行いました。余帰納法は数学的帰納法と裏表の関係にある証明手法で、計算機科学分野でよく使われています。
ipc_bot
Oct 2013
Oct 2013
教養学部 理科一類
Apr 2012
-
July 2017
河合塾
講師 (アルバイト)(Intern)
Aug 2014 - July 2017
河合塾の中高生向けの非受験特化型講座である「K会」にて情報科学とプログラミングを教えていました。通年講座の設立に関わり、教材一式を執筆しました。
-
Mar 2013
株式会社レピダム
アルバイト(Intern)
June 2012 - Mar 2013
https://lepidum.co.jp/ 認証・認可を中心とした様々なWeb技術を扱う会社でアルバイトをさせてもらっていました。
Skills and qualities
Rust
ふしぎなおどり
アルゴリズム
Coq
文字化け
Publications
TypeScriptの表現力で自由なJavaScriptに立ち向かう 〜 Immutable.js 編 〜
Jan 2021
2つのWebpack buildを1つに統合した話
Jan 2021
Webpackがモジュールを2回読み込まないためにした3つのこと
Jan 2021
TypeScriptで可変長引数から型をいい感じに推論する
Dec 2020
GoのスライスとRustのスライス
Oct 2020
Show more
Accomplishments/Portfolio
ipc_bot
Oct 2013
Awards and Certifications
第23回 国際情報オリンピック タイ大会(IOI2011) 銀メダル(302人中28位タイ)
May 2011
Supercomputing Contest 2010 優勝 (チームZATORIKU)
May 2010
第22回 国際情報オリンピック カナダ大会(IOI2010) 金メダル(300人中16位タイ)
May 2010
Supercomputing Contest 2009 優勝 (チームZATORIKU)
May 2009
日本学生科学賞 中学の部 ICT部門 文部科学大臣賞
May 2007