Masaki Hara

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

Masaki Hara

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

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

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

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

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

Jan 2021

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

In the future

Ambition

In the future

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

Aug 2020
-
Present

DXエンジニア (Developer Experience)
Present

Aug 2020 -

Present

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

DXエンジニア (Developer Experience)

Aug 2020 -

Present

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

yarn v2にまつわる誤解

May 2021

奇妙な曜日バグ

Apr 2021

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

Apr 2021

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

Mar 2021

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

Jan 2021

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

Jan 2021

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

Jan 2021

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

Dec 2020

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

Oct 2020

July 2018

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

July 2018

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

Aug 2020

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

Dec 2019

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

Nov 2019

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

Dec 2018

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

Nov 2018

Apr 2018

機械学習エンジニア

Apr 2018

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

Apr 2016
-
Mar 2018

東京大学

6 years

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

Apr 2016 - Mar 2018

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

東京大学

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

Apr 2016 - Mar 2018

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

alg_d伝説に出演

Sept 2020

Apr 2014

理学部情報科学科

Apr 2014

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

ipc_bot

Oct 2013

Apr 2012

教養学部 理科一類

Apr 2012

Aug 2014
-
July 2017

河合塾

3 years

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

Aug 2014 - July 2017

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

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

Aug 2014 - July 2017

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

May 2017

May 2017

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

May 2017

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

June 2012
-
Mar 2013

アルバイト(Intern)

June 2012 - Mar 2013

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

アルバイト(Intern)

June 2012 - Mar 2013

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

Apr 2006
-
Mar 2012

某中高一貫校

6 years

Apr 2006 - 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

Recommended by Shimpei Otsubo and 7 more
8

ふしぎなおどり

Recommended by Shimpei Otsubo and 5 more
6

癒やし系

Recommended by Takuma Shiotsu and 4 more
5

Twitter

Recommended by Takuma Shiotsu and 3 more
4

AtCoder黄色

Recommended by Kento Nagata and 3 more
4

Publications

yarn v2にまつわる誤解

May 2021

奇妙な曜日バグ

Apr 2021

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

Apr 2021

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

Mar 2021

Webpackがモジュールを2回読み込まないためにした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