▽Rainy Day Codings：So-net blog
●05/02 22:08 なんか凄そう
AgdaによるTaPL - Typed Arithmetic Expressions [Agda]
｢ﾌﾟﾛｸﾞﾗﾐﾝｸﾞ言語の基礎概念｣(五十嵐2011)をAgdaでやっていた途中だが､ ここで ”Types and Programming Language” (Pierce 2002) の第8章 ”Typed Arithmetic Expressions” をAgdaでやることにする｡
open import Relation.Binary.PropositionalEquality
using (_≡_; refl)
open import Data.Product
using (_×_; proj〓; proj〓; ∃; ∃-syntax) renaming (_,_ to 〓_,_〓)
open import Data.Sum using (_〓_; inj〓; inj〓)
Synta

▽毎日働きすぎですよ､実際｡ - eiko 【 みんｶﾗ 】 ﾌﾞﾛｸﾞ
●05/02 21:37
<< 2021/12 >>
1234
567891011
12131415161718
19202122232425
262728293031

▽ 谷根千ｳﾛｳﾛ
●04/27 03:22
2021 著作権. 不許複製 ﾌﾟﾗｲﾊﾞｼｰﾎﾟﾘｼｰ

▽Aerodynamik - 航空力学
●04/13 11:03
読者になる

▽Lifehacking.jp
●04/05 13:47
ﾘﾓｰﾄﾜｰｸに合わせてiPad Pro 12.9 inch に乗り換え
2021 年 06 月 06 日
ｳｪﾌﾞｻｰﾋﾞｽ
情報発信を始めるならばまずはnoteから
2021 年 04 月 17 日
ﾎﾟｯﾄﾞｷｬｽﾄ
多くのｽｸﾘｰﾝｼｮｯﾄをﾀｲ語版で撮影しなおしている
2021 年 01 月 17 日
ｳｪﾌﾞｻｰﾋﾞｽ
反響ﾓｰﾄﾞと外音取り込みの柔軟性がきわだつﾜｲﾔﾚｽｲﾔﾎﾝ
2020 年 10 月 19 日
ｱﾌﾟﾘ ･ ﾌﾟﾚｾﾞﾝ
ﾘﾓｰﾄﾜｰｸに合わせてiPad Pro 12.9 inch に乗り換え
2021 年 08 月 21 日
ﾃｸﾉﾛｼﾞｰ 230 ﾗｲﾌﾊｯｸ 209 ｶﾞｼﾞｪｯﾄ 126 ｳｪﾌﾞｻｰﾋﾞｽ 118 書籍 85 gtd 81 ｲﾍﾞﾝﾄ 81 文具 68 liveshow 54 近況 39 ｿｰｼｬﾙﾒﾃﾞｨｱ 35 ｱﾌﾟﾘ 25 知的生産知的生活 25 ﾆｭｰｽﾚ