ひげ
ひげ (ひげ)
プロフィール
誰?
群馬大学 工学部 情報工学科 卒業生
IGGG ソフトウェア開発基盤部
目玉焼きにするぐらいだったら卵焼きにする派。
将来の夢は、アイアンマンを作ること
2019年度の目標
部 WP をぶっ壊す
部 PukiWiki をぶっ壊す
2018年度の目標
キャリアプランを考える 今少し迷ってるので なに迷ってたんだか忘れたのできっと大丈夫
月1ペース以上で読書(今度こそ) 失敗
マネーパワーが上がるっぽいので Google Home を中心におうちハックしたい 失敗
新しい言語を2つ(社会人になったのでペースを落とす) 候補: Rust, Coq
Rust はやった、もう一つはやってない
2017年度の目標
今度こそ学会発表 PPL2018(ポスター)とPRO17'5(口頭)でした(国内だけど)
就職先を決める きめた!
月1ペース以上で読書 ふた月に1冊ぐらいだった
新しい言語を3つ 候補 Rust elm Perl
結局? SML と Elixir やってる(笑)
やった: SML(軽く), Elm, Elixir, Kotlin(少し)
2016年度の目標
学会発表したい <- 行っただけで発表はできなかった…orz
群桐祭成功させたいなー <- 反省点は多いけど入賞できたので及第点
研究インターン頑張るぞい インターンシップ楽しかったです!
機械学習を独習 <- イマイチ
新しい言語を3つ触ろう! Scala, Go, OCaml
2015年度の目標
まずは院試合格
ラムダ計算や型システムについての知識の取得 いい加減TAPL本読みます、はい
そろそろでかいプログラム書きたい(具体的なのは後で考える)
興味
数学/物理学/科学/コンピュータサイエンス/哲学
C/C++/C#/Java/Ruby/Haskell/PHP/D/Lisp/C#/Python/Javascript/brainf*ck/Whitespace/OCaml/Scala/Go/SML/Elixir/Elm/Kotlin は触ったことがある
好きな言語はHaskell,次点でRuby
苦手な言語はEnglish
研究
たぶん、専門はソフトウェア工学系の言語と処理系
時間+プロセス計算+型付けについて勉強中