Masaki Hara

ウォンテッドリー株式会社 / DXエンジニア (Developer Experience)

Masaki Hara

ウォンテッドリー株式会社 / DXエンジニア (Developer Experience)

Masaki Hara

ウォンテッドリー株式会社 / DXエンジニア (Developer Experience)

あなたも Wantedly で
プロフィールを作りませんか?

これまでの経歴を、あなたの想いや挑戦とともに表現しよう。

いますぐ作る

キャッチコピー・好きな言葉

コンピュータープログラムに関わるあれこれが趣味で、仕事です。

TypeScriptにはanyが4種類、undefinedが3種類、……

2021年1月

RustのArcを読むシリーズ
JSエコシステムぶらり探訪
p進Newton法で平方数判定
Rustのモジュールを詳細に理解する

未来

この先やってみたいこと

未来

OSSを書いたりしながらのんびりしたい

2020年8月
-
現在

DXエンジニア (Developer Experience)
現在

2020年8月 -

現在

地道なコード品質の改善から、開発生産性を飛躍的に向上させる飛び道具作りまで、アプリケーションエンジニアが心地よく作業できる環境作りのために何でもやる役割です。

DXエンジニア (Developer Experience)

2020年8月 -

現在

地道なコード品質の改善から、開発生産性を飛躍的に向上させる飛び道具作りまで、アプリケーションエンジニアが心地よく作業できる環境作りのために何でもやる役割です。

yarn v2にまつわる誤解

2021年5月

奇妙な曜日バグ

2021年4月

部分読み取り・部分書き込みを許す言語とそうでない言語

2021年4月

Babelプラグインの順序とallowDeclareFieldsの妙

2021年3月

2つのWebpack buildを1つに統合した話

2021年1月

Webpackがモジュールを2回読み込まないためにした3つのこと

2021年1月

TypeScriptの表現力で自由なJavaScriptに立ち向かう 〜 Immutable.js 編 〜

2021年1月

TypeScriptで可変長引数から型をいい感じに推論する

2020年12月

GoのスライスとRustのスライス

2020年10月

2018年7月

サーバーサイドエンジニア

2018年7月

実践Rustプログラミング入門

2020年8月

ディストロのrbenvで最新のRubyをいち早く取得する

2019年12月

Rails migrationでスキーマの不整合を修正する

2019年11月

小ネタ: Ruby 2.5.0 の細かい構文的変化

2018年12月

小ネタ: railsとpg gemのバージョン互換性

2018年11月

2018年4月

機械学習エンジニア

2018年4月

Wantedly Peopleの機械学習チームで会社名の検索の改善を行いました。

2016年4月
-
2018年3月

東京大学

6 years

情報理工学系研究科 コンピュータ科学専攻

2016年4月 - 2018年3月

余帰納法や余代数について、形式的検証や型理論への応用を念頭に研究していました。 もともと考えていたテーマが行き詰まってしまいましたが、余帰納法に関連したテーマとして、ストリーム定義のproductivityという性質の自動検証に関する研究にシフトすることになりました。このテーマで会議等に通すことはありませんでしたが、修士課程を無事に終えることができました。

東京大学

情報理工学系研究科 コンピュータ科学専攻

2016年4月 - 2018年3月

余帰納法や余代数について、形式的検証や型理論への応用を念頭に研究していました。 もともと考えていたテーマが行き詰まってしまいましたが、余帰納法に関連したテーマとして、ストリーム定義のproductivityという性質の自動検証に関する研究にシフトすることになりました。このテーマで会議等に通すことはありませんでしたが、修士課程を無事に終えることができました。

alg_d伝説に出演

2020年9月

2014年4月

理学部情報科学科

2014年4月

余帰納法の拡張に対するメタ的な解析を行いました。余帰納法は数学的帰納法と裏表の関係にある証明手法で、計算機科学分野でよく使われています。

ipc_bot

2013年10月

2012年4月

教養学部 理科一類

2012年4月

2014年8月
-
2017年7月

河合塾

3 years

講師 (アルバイト)(Intern)

2014年8月 - 2017年7月

河合塾の中高生向けの非受験特化型講座である「K会」にて情報科学とプログラミングを教えていました。通年講座の設立に関わり、教材一式を執筆しました。

講師 (アルバイト)(Intern)

2014年8月 - 2017年7月

河合塾の中高生向けの非受験特化型講座である「K会」にて情報科学とプログラミングを教えていました。通年講座の設立に関わり、教材一式を執筆しました。

2017年5月

2017年5月

5日程度の短期インターンで、Webサービスを作る手伝いをさせてもらいました。

2017年5月

5日程度の短期インターンで、Webサービスを作る手伝いをさせてもらいました。

2012年6月
-
2013年3月

アルバイト(Intern)

2012年6月 - 2013年3月

https://lepidum.co.jp/ 認証・認可を中心とした様々なWeb技術を扱う会社でアルバイトをさせてもらっていました。

アルバイト(Intern)

2012年6月 - 2013年3月

https://lepidum.co.jp/ 認証・認可を中心とした様々なWeb技術を扱う会社でアルバイトをさせてもらっていました。

2006年4月
-
2012年3月

某中高一貫校

6 years

2006年4月 - 2012年3月

某中高一貫校

2006年4月 - 2012年3月

第23回 国際情報オリンピック タイ大会(IOI2011) 銀メダル(302人中28位タイ)

2011年7月

第22回 国際情報オリンピック カナダ大会(IOI2010) 金メダル(300人中16位タイ)

2010年8月

Supercomputing Contest 2010 優勝 (チームZATORIKU)

2010年5月

Supercomputing Contest 2009 優勝 (チームZATORIKU)

2009年5月

日本学生科学賞 中学の部 ICT部門 文部科学大臣賞

2007年5月


スキルと特徴

Rust

Shimpei Otsuboとその他7人が +1
8

ふしぎなおどり

Shimpei Otsuboとその他5人が +1
6

癒やし系

Takuma Shiotsuとその他4人が +1
5

Twitter

Takuma Shiotsuとその他3人が +1
4

AtCoder黄色

Kento Nagataとその他3人が +1
4

Publications

yarn v2にまつわる誤解

2021年5月

奇妙な曜日バグ

2021年4月

部分読み取り・部分書き込みを許す言語とそうでない言語

2021年4月

Babelプラグインの順序とallowDeclareFieldsの妙

2021年3月

TypeScriptにはanyが4種類、undefinedが3種類、……

2021年1月

さらに表示

Accomplishments/Portfolio

ipc_bot

2013年10月

Awards and Certifications

第23回 国際情報オリンピック タイ大会(IOI2011) 銀メダル(302人中28位タイ)

2011年7月

第22回 国際情報オリンピック カナダ大会(IOI2010) 金メダル(300人中16位タイ)

2010年8月

Supercomputing Contest 2010 優勝 (チームZATORIKU)

2010年5月

Supercomputing Contest 2009 優勝 (チームZATORIKU)

2009年5月

日本学生科学賞 中学の部 ICT部門 文部科学大臣賞

2007年5月