my skill
習得した言語
| 言語名 | 説明 |
|---|---|
| C | 最初に習得した言語 |
| Python | 軽いスクリプトを書くときによく使う言語 |
| Ruby | 動かしていて楽しい言語 |
| Perl | 決して嫌いというわけではないが、あまりimmutableなコード執筆がしにくいことがあり、よいスクリプトを組む自信がいまひとつない |
| Haskell | もともと数学よりの言語なので勉強していて困りはしなかった。ラムダ計算を模した記法は非常に気に入っている |
| Java | 業務でよく使う言語。Spring bootフレームワークはパッケージひとつで色々なことが出来るので気に入っている |
| JavaScript | Vue.js, React.js, Node.jsでのサーバー立ち上げなら出来る |
| Lisp | Scheme/Gaucheの勉強を継続中 |
現在興味を持っている分野
| 技術 | 説 明 |
|---|---|
| 関数型プログラミング | |
| 数学基礎論 | |
| 自動定理証明・証明支援システム | jsCoqを使ってCoq勉強中 |
| Civictech |
Go back to the homepage