福井県立大学 情報センター 助教
略歴
理論計算機科学の研究をしています。 特に、プログラミング言語とその意味論に興味を持っています。 最近は、代数的エフェクトや余代数に関する研究を圏論を使いながら行っています。
眞田 嵩大 （さなだ たかひろ）
〒910-1195 福井県永平寺町松岡兼定島4-1-1 福井県立大学 情報センター
Email: tsanada.cs (at) gmail.com