農業土木を専攻した、建設コンサルタント勤務2年目の社会人です。Excel, Python, ArcGIS, DocuWorksなどを業務で使用しているので、自分の勉強も兼ねて記事を書いていきたいです。よろしくお願いいたします。

趣味でコード書きをしている学生。 たまに競プロとか。

programming languages, functional programming, code generation / OCaml, C, Python

現在、インフラ・開発エンジニアとして活動中 使用言語 Ruby/Python/Ruby on Rails/JavaScript/Swift

テーラー柏原

定理証明系や論理プログラミングに興味をもっています。