▽おごちゃんの雑文
●05/14 11:20
外国人に声をかけてみる
投稿日時: 2021/9/30 木曜日 投稿者: ogochan
ｺﾛﾅ以後､自宅で自炊することがなくなった｡
もちろんこの御時世なので､外食することもない｡ﾃｲｸｱｳﾄにも限りがあるので､基本的に昼夜は｢会社で自炊｣である｡みんな近所なので､会社で飯を食って帰れば､感染の危険もない｡
とは言え､さすがに休日はそういうわけにも行かないので､ﾃｲｸｱｳﾄを使う｡
続きを読む →
ｶﾃｺﾞﾘｰ: 雑感
COBOL (9)
雑文 (1,139)
雑感 (114)

▽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

▽BOOLEANLABEL
●04/16 20:41
2021-11-15
If fixing a bug is a breaking change then it is a breaking change
Programming Versioning
仕様と実装が違っていて､実装を仕様にあわせる (不具合修正する) と､結果的に今の実装からの破壊的な変更 (breaking change) が発生する場合に semver の major を bump するべきか？がわからなかったため､ｸﾞｸﾞったら面白いｽﾚｯﾄﾞがあったから読んでた｡
続きを読む
fd0 2021-11-15 22:17
If fixing a bug is a breaking change then it is a breaking change
Tweet
もっと読む
ｺﾒﾝﾄを書く
If fixing a bug is a breaking change then it

▽せろ部屋？
●04/06 11:10
2021-10-23
Bootiful SQL Template 2.1.0でRecord対応をしました｡
Java SqlTemplate

▽Active Galactic : 11次元と自然科学と拷問的日常
●03/28 13:04
この広告は､90日以上更新していないﾌﾞﾛｸﾞに表示しています｡