Masaki Hara

ウォンテッドリー株式会社 / サーバーサイドエンジニア

Masaki Hara

ウォンテッドリー株式会社 / サーバーサイドエンジニア

Masaki Hara

ウォンテッドリー株式会社 / サーバーサイドエンジニア

Why not create your own Wantedly profile?

Showcase yourself and your experiences to bring your professional story to life.

Join

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

アルゴリズムや言語処理系など理論が好きですが、ハードウェアやWebなどにも広く興味があります。最近はプログラミングRustにハマっています。

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

Supercomputing Contest 2010 優勝 (チームZATORIKU)

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

Supercomputing Contest 2009 優勝 (チームZATORIKU)

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

In the future

Ambition

In the future

Rust 2020年は、業務でRustを使える環境整備をがんばります。

July 2018
-
Present

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

July 2018 -

Present

奇妙な曜日バグ

Apr 2021

奇妙な曜日バグ

Apr 2021

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

Mar 2021

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

Mar 2021

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

Jan 2021

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

Jan 2021

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

Jan 2021

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

Jan 2021

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

Jan 2021

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

Jan 2021

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

Dec 2020

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

Dec 2020

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

Oct 2020

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

Oct 2020

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

共著者として、一部分を執筆しました。

Aug 2020

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

Aug 2020

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

Dec 2019

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

Dec 2019

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

Nov 2019

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

Nov 2019

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

Dec 2018

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

Dec 2018

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

Nov 2018

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

Nov 2018

Apr 2018

機械学習エンジニア

Apr 2018

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

Apr 2016
-
Mar 2018

東京大学

6 years

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

Apr 2016 - Mar 2018

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

alg_d伝説に出演

漫画「alg_d伝説(仮称)」に味方側のキャラクターとして出演しました。alg_d伝説はワヘイヘイ氏が執筆、alg_d氏が公開しているTwitter上の漫画で、実在する人物と数学の話題を多く含むためにコアなファンが多くついています。 キャラクターとして選ばれた経緯はこちら→ https://togetter.com/li/1193031

Sept 2020

alg_d伝説に出演

Sept 2020

Apr 2014

理学部情報科学科

Apr 2014

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

ipc_bot

Oct 2013

ipc_bot

Oct 2013

Apr 2012

教養学部 理科一類

Apr 2012

Aug 2014
-
July 2017

河合塾

3 years

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

Aug 2014 - July 2017

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

May 2017

May 2017

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

June 2012
-
Mar 2013

アルバイト(Intern)

June 2012 - Mar 2013

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


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

奇妙な曜日バグ

Apr 2021

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

Mar 2021

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

Jan 2021

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

Jan 2021

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

Jan 2021

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