奥居研究室

お知らせ

    奥居研究室(記号計算研究室)

    • 専門:記号計算
    • 研究テーマ:書換え計算系、ナローイング、関数論理プログラミング

    学部・大学院