▽設計者の発言
●04/12 20:54
はてなﾌﾞﾛｸﾞに引っ越し
2021.04.12
はてなﾌﾞﾛｸﾞに引っ越し
2021年4月から､2020年以降の記事を含めて｢はてなﾌﾞﾛｸﾞ｣に引っ越しました｡今後もよろしくお願いします｡
設計者の発言（はてな版）
«ｵﾌﾞｼﾞｪｸﾄ指向開発もﾛｰｺｰﾄﾞ開発も楽しい

▽f/x [ｴﾌｴｯｸｽ] ITﾒﾃﾞｨｱ･ﾀﾝｸ
●01/08 12:18
2021年01月08日
2021年01月08日
ﾏｲﾅﾋﾞﾆｭｰｽ ｻｲﾄ改変｢TECH+｣を2/1より開始
ﾏｲﾅﾋﾞは､ﾏｲﾅﾋﾞﾆｭｰｽの中で主にBtoBﾋﾞｼﾞﾈｽ領域を扱っている｢企業ITﾁｬﾝﾈﾙ｣｢ﾃｸﾉﾛｼﾞｰﾁｬﾝﾈﾙ｣｢IT Search+｣を分離し､新たなﾒﾃﾞｨｱ｢TECH+｣として2/1よりにﾘｭｰｱﾙ

▽らいおんの隠れ家
●08/29 10:57
最近の冷凍食品うますぎてこわい
kansou
2020-08-28 18:09:12
【8/31まで】63時間のﾋﾞｯｸﾞｾｰﾙ Amazonﾀｲﾑｾｰﾙを淡々とﾁｪｯｸする【随時更…
山と旅とｶﾒﾗのﾌﾞﾛｸﾞ｡
2020-08-29 09:47:29
【話題沸騰中】軽量でお洒落なｺﾏﾝﾄﾞﾌﾟﾛﾝﾌﾟﾄ拡張ﾗｲﾌﾞﾗﾘ｢Starship｣を導入…
Hajimari Tech Blog| 株式会社Hajimar

▽Matzにっき
●08/27 12:01
意外かもしれないが､初ﾃﾞｽｸﾄｯﾌﾟ｡今回はｻｲｺﾑというところで注文した｡自作という選択肢もあったが､自分の不器用さをよく承知しているので(最近では液漏れで止まった時計を修理しようと分解して､再起不能にした)､BTOに｡ｽﾍﾟｯｸは､
それに比較対象がThinkPad T460s (Core i7 6600U) 2 core 4 threadだからねえ
追記
ｻｲｺﾑから返事来た｡送料着払いでﾎﾞｰﾄﾞ

▽So-net blog:Rainy Day Codings
●08/23 14:07
AgdaによるTaPL - Typed Arithmetic Expressions [Agda]
｢ﾌﾟﾛｸﾞﾗﾐﾝｸﾞ言語の基礎概念｣(五十嵐2011)をAgdaでやっていた途中だが､ ここで ”Types and Programming Language” (Pierce 2002) の第8章 ”Typed Arithmetic Expressions” をAgdaでやることにする｡
open i