ソフトウェアを科学する 　信頼性が高く効率も良いソフトウェアを構築するために必要な計算の理論とその情報システムへの応用の研究を行っています。特に最先端の関数型プログラミングの理論と技術を基軸としたソフトウェア理論を研究し … 続きを読む ソフトウェアを科学する 浜名 誠