健策 田中
The Dark Side of Forcing
公理的集合論・圏論・数理論理学・数学の哲学・数学芸術、等についてメンバーが好きに文章を書く数学同人誌「The Dark Side of Forcing」を年二回発行してコミケで頒布している。
Discover companies you will love
フリーランサー / プログラマー・小説家
名古屋大学多元数理科学研究科の博士課程を博士号取らずに出てしまったのち、IT系・非IT系の職を転々としながら、独学でプログラミングや機械学習などを学んできました。 現在は - React/React Nativeによるフロントエンド開発
自作の小説を教師データに使って、小説を自動生成するニューラルネットワークを作ってみたいと思っている。
自由
View 健策 田中's
Full Profile
View past posts
View mutual connections
View 健策 田中's full profile
公理的集合論・圏論・数理論理学・数学の哲学・数学芸術、等についてメンバーが好きに文章を書く数学同人誌「The Dark Side of Forcing」を年二回発行してコミケで頒布している。