「AI論文の美しい数理モデル」と「実務の泥臭いデータ」のギャップを埋めるGeometric Data Scienceの専門家です。情報幾何、VAE、Neural ODEなどを駆使しビジネス課題を幾何学的に解く手法を発信中。著書に『Geometric Intelligence』等。Qiitaでは、数理モデルの社会実装に悩むエンジニア向けに「経営環境×多様体」の対話シリーズを連載中。

Rust好きだけど正直あんまりわかっていません。最近はHaskell頑張り中。

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

能動的に動かなければ何も成長しないね。

京都で働いてるプログラマです

京都在住のHaskellerです。

札幌在住の素人Haskeller

#プログラマ #Haskell #Emacs #Web #NLP {データベース,ネットワーク,情報セキュリティ}スペシャリスト

Haskellすき

型に生き、型を守りて、型を往く