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

▽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 import Relation.Binary.PropositionalEquality
using (_≡_; refl)
open import Data.Product
using (_×_; proj〓; proj〓; ∃; ∃-syntax) renaming (_,_ to 〓_,_〓)
open import Data.Sum using (_〓_; inj〓; inj〓)
Synta

▽minddrome networks
●07/09 07:33
For full functionality of this site it is necessary to enable JavaScript. Here are the instructions how to enable JavaScript in your web browser.

▽today’s TOYO
●06/30 16:13
｢ www.toyo-y.net ｣のﾍﾟｰｼﾞは､ﾄﾞﾒｲﾝが無効な状態です｡
｢ www.toyo-y.net ｣is Expired or Suspended. The WHOIS is here.

▽Technolize
●04/07 12:32
思いは言葉に｡
初めての方へ
はてなﾌﾞﾛｸﾞとは
はてなﾌﾞﾛｸﾞPro
使い方講座
おすすめ記事
壊滅度別の業界ﾘｽﾄ（新型ｺﾛﾅ編）
Chikirinの日記
2020-04-06 21:58:16
COVID-19, 新型ｺﾛﾅの感染拡大による実体経済への影響について､様々な業界の“壊滅度度合い”を独断と偏見でﾚﾍﾞﾙ…
弊社のﾘﾓｰﾄ事情
Studyplus Engineering Blog
2020-04-06 10:03:02
TKO木下隆行のﾌﾟﾛﾚｽ発言について
NJPW FUN
2020-04-06 09:00:12
ｽｷﾈｽﾞﾐ ｢ﾄﾗｯﾌﾟ｣
ｷｭｰﾗｲｽ記
2020-04-07 11:58:11
ﾖｰﾛｯﾊﾟでｺﾛﾅに感染して入院した話
にゃんぶろ
2020-04-05 23:34:20
社会人になって適当に自炊をこなすためにやってること
Juju-62q's blog
20