2018年度未踏IT人材発掘・育成事業 スーパークリエータ
ロボットの製作と制御には非常に高度な知識と経験が必要であり、ホビー用途で手をつけるにはハードルが高かった。そこで本プロジェクトでは、ロボットのモーション作成を簡単にするフレームワーク MonoMotion を開発した。
クックパッド株式会社 / SRE
実行に必要なファイルだけをうまく集めれば、静的リンクせずとも小さな Docker イメージを作ることができます。その作業を自動で行ってくれるツール magicpak を作りました。
集中開発コースの「Y-Ⅱ C コンパイラを自作してみよう!」ゼミに参加しました。
これまでやってきたことを活かして、インフラ領域で楽しい仕事ができたらいいなと思います
最大で 150MB/sec のログが流れる EC2 上の Fluentd 集約ノードを、コスト削減と障害対応の迅速化のためにオートスケールできるようにしました
Haskell の主要なコンパイラである GHC (Glasgow Haskell Compiler)で広く使われている強力な拡張機能の GADTs, TypeFamilies の理論と実装に興味を持ち、実際にそれと同様の型推論器を実装しました。
プログラミング言語EgisonのパターンマッチをHaskellで利用可能にするライブラリの開発
Egisonのパターンマッチ(non-linear pattern matching with extensible and polymorphic patterns)をHaskellの上で利用可能にするライブラリ
ロボットの製作と制御には非常に高度な知識と経験が必要であり、ホビー用途で手をつけるにはハードルが高かった。そこで本プロジェクトでは、ロボットのモーション作成を簡単にするフレームワーク MonoMotion を開発した。