健策 田中

自由

やれることは全部やるぞ

React Nativeによるコンシューマー向けモバイルアプリの構築（WebRTC） Xamarinによる業務アプリの構築（AWSのSNSとの連携） AngularによるWebアプリとflask/pythonによるAPIサーバーの保守 React+AframeによるWebXRアプリの構築

objective-cによるiOS上の業務アプリ・コンシューマー向けアプリの開発 clojureによるクロスプラットフォーム業務アプリの開発 pythonによる機械学習の企業へのレクチャー jekyllによる静的サイト構築 coqによる形式検証のpocプロジェクト 名古屋大学でのgithub/gitのレクチャー

物流会社において、pythonによる業務の自動化や、社内・社外用のWebアプリケーション・モバイルアプリケーションの開発等を行っている。

短期間ながら、UI/UXに関する大学との産学共同研究の立案にかかわった。

1年から3年の高校生に対して、数学を教えていた。

モデル理論の代数幾何学への応用を研究していたが、科学哲学やプログラミングにはまったりしているうちに、満期取得退学してしまった。

一年目は代数的整数論を、二年目は実代数幾何学のモデル理論的な取り扱い（o-minimal理論）を学んだ。