Masaki Hara

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

Masaki Hara

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

Masaki Hara

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

This user is using the new profile.

Join our Beta test to try out our new profile.

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を使える環境整備をがんばります。

Jul 2018
-
Current

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

Current

Jul 2018 -

Current

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

Oct 2020

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

Oct 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という性質の自動検証に関する研究にシフトすることになりました。このテーマで会議等に通すことはありませんでしたが、修士課程を無事に終えることができました。

Apr 2014

理学部情報科学科

Apr 2014

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

ipc_bot

Oct 2013

ipc_bot

Oct 2013

Apr 2012

教養学部 理科一類

Apr 2012

Aug 2014
-
Jul 2017

河合塾

3 years

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

Aug 2014 - Jul 2017

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

May 2017

May 2017

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

Jun 2012
-
Mar 2013

アルバイト(Intern)

Jun 2012 - Mar 2013

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


Skills and qualities

Rust

Takuma Shiotsu and 6 others recommends
7
7

ふしぎなおどり

Sohei Takeno and 3 others recommends
4
4

アルゴリズム

Sohei Takeno and 2 others recommends
3
3

Coq

Sohei Takeno, Shogo Kishimoto recommend
2
2

文字化け

Masayuki Izumi recommend
1
1

Bump up version, 形式手法, Dependabot

 and 7 skills

Show more

Publications

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

Oct 2020

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

Dec 2019

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

Nov 2019

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

Dec 2018

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

Nov 2018

Accomplishments

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