プロフィール

  • 都内のIT企業
  • 神奈川県
ITエンジニア4年目です。

仕事では Web、スマホアプリ、RaspberryPi を使ったIoT と幅広く実装を任されています。
使っている言語、フレームワークは以下の通りです。
TypeScript(React)、Python(Django)、Swift、C++

また、趣味で関数型言語をいじったり、型システムに関する勉強をしています。

数学科出身で、モデル理論や圏論を専門としてやっていたので、論理と構造に関する型システムの話であったり、モナド等はある程度はわかります。

React.js

スコア199

回答(Q&A)30

ベストアンサー18

TypeScript

スコア151

回答(Q&A)22

ベストアンサー15

JavaScript

スコア115

回答(Q&A)19

ベストアンサー11

Django

スコア85

回答(Q&A)14

ベストアンサー9

Python

スコア46

回答(Q&A)9

ベストアンサー4

Python 3.x

スコア43

回答(Q&A)7

ベストアンサー4

MYスキルで絞り込み

Loading...Loading...Loading...Loading...Loading...Loading...Loading...Loading...Loading...Loading...Loading...Loading...Loading...Loading...Loading...Loading...Loading...Loading...Loading...Loading...