siokoshouのアンテナ
id:siokoshou
10/14ページ
▽設計者の発言●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
4.<前5 6.次5>
0.はてなアンテナトップ
8.このページを友達に紹介
9.このページの先頭へ
□ヘルプ/お知らせ
□ログイン
□無料ユーザー登録
□はてなトップ
(c) Hatena