▽らいおんの隠れ家
●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

▽ﾏﾈｰｼﾞｺｰﾄﾞしか書きたくない | HIDORI on The Web
●07/21 17:19
404 Web Site not found.
You may be seeing this error due to one of the reasons listed below :
Custom domain has not been configured inside Azure. See how to map an existing domain to resolve this.
Cli

▽Visual Studio ｻﾎﾟｰﾄ ﾁｰﾑ blog
●07/17 23:55
7/17/2020
20 minutes to read