etherのプロフィール

ブログ記事

• AgdaによるTaPL - Typed Arithmetic Expressions[20/08/23 12:50]
• Agdaによる「プログラミング言語の基礎概念」 - 導出システムReduceNatExpのメタ定理[20/08/22 21:05]
• Agdaによる「プログラミング言語の基礎概念」 - 導出システムNatのメタ定理[20/08/16 21:29]
• Agdaによる「プログラミング言語の基礎概念」 - 自然数の加算・乗算・比較[20/08/16 21:24]
• JIRAやConfluenceのアドオンをGoogle App Engineで動かす[17/10/09 17:15]