nobsunのアンテナ

2021/10/27 23:09:41 発声練習
Dell Precision 5820 を Ubuntu 18.04 LTSから20.04 LTSへアップグレードする
2021/10/27 21:36:44 KeN’s GNU/Linux Diary
2021年10月27日
_ [cooking] サバのあんかけ
2021年10月26日
_ [cooking] 焼き野菜と明太パスタ
2021年10月25日
_ [cooking] お好み焼き
2021年10月24日
_ [cooking] ルンダン煮込み
2021年10月23日
_ [cooking] ミートボール
2021年10月20日
_ [cooking] 麻婆豆腐
2021年10月19日
2021/10/27 20:15:08 萌えとかプログラミングとか | reboot
67,840 hits
WordPress.com Blog.
2021/10/27 15:06:42 パラメトロン計算機
2021年10月27日水曜日
クイーン支配問題
クイーン支配問題 The Art of Computer Programmingに, クイーン支配問題(queens domination probmel)という話題があった.
8×8の盤に, 5個のクイーンを, 盤のすべての場所を支配するように置くという問題である. 1863年の本にあるそうだから, 古典的問題である.
この解は, 4
2021/10/27 11:10:37 Planet Haskell
Inductive RColistF {a b} (r : a -> b -> Prop) xa xb (rx : xa -> xb -> Prop)
: ColistF a xa -> ColistF b xb -> Prop :=
Lemma Neverending_Enumerable_ {a} (xs : Colist a) (NE : Neverend
2021/10/27 09:37:15 ただのにっき
2021-10-24(日) [長年日記]
■ 川崎 1-0 清水＠等々力陸上競技場
かみさんが参加できなくなったので今日はソロ観戦。直前のキャンセルでも、チケットがリセールに出せて即さばけちゃうんだからありがたい。緊急事態もあけて、ワクチンパッケージの運用も試験的に始まったので、半分くらいまで観客を入れられる。アウェイ側にも観客を入れていて、やっとにぎやかになってきた。
清水はがっちり守る作戦ぽく
2021/10/27 07:46:11 L’eclat des jours
2021-10-24
_ ヴェルディのメリメ
メリメを使ったオペラといえば、なんといってもビゼーのカルメンで、それしか知らないのだが、妙なところでヴェルディと繋がりがあることに気付いた。まったく無関係ではあるのだが。
以前買った本の整理をしていたらメリメのエトルリヤの壺が出てきた。
エトルリヤの壷―他五編 (岩波文庫赤 534-1)(プロスペル・メリメ)
全然作品の記憶はないが、確か読んだはずだ
2021/10/27 04:06:04 Shudo’s Notes
2021/10/26 (火)
転んで痛めた左手親指 (日記9/25分)、だいたい治った。
まだ、動かし方によっては少し痛いけど、だいたいの事 (洗髪とか) には差し支えなくなった。
天ぷら盛り合わせ (日記10/12分),
さんま竜田揚げ (9/30分)。
シュークリーム (日記10/22分)。
macOS を更新 (日記10/6分)。
macOS Monterey。12.0.1。
古井先生の講演
2021/10/26 10:25:39 Gauche Devlog
Gambiteer on Is this an Undefined Behavior? (2021/10/25)
Comment (1)
2021/10/24 00:22:27 日記移転予定地
（第7回）東京都新型コロナウイルス感染症モニタリング会議資料（令和2年8月20日）
東京都総合防災部の公式ホームページ。東京都内の避難情報など災害に関する情報を発信するとともに、事前の備えや都の取組を紹介しています。
www.bousai.metro.tokyo.lg.jp
『ハロー・ワールド』（藤井太洋）：講談社文庫製品詳細講談社BOOK倶楽部
エンジニアの文椎（ふづい）が作った広告ブロッ
2021/10/23 00:57:21 檜山正幸のキマイラ飼育記
2021-10-22
圏論的コンテナ
雑記／備忘
コンテナは、形状〈shape〉を持つデータに対する型理論的な概念として登場しました。よく知られたデータ型をコンテナとして説明できるので便利だなとは思っていましたが、データ型以外の用途でも使えることに気付きました。まずはこの記事でコンテナそのもの…
圏論的コンテナ
圏論的コンテナ
2021/10/20 10:27:20 あどけない話
MacBook Proを壁に寄せるにはType-CのL字コネクタも必要です。Type-Cだと左右がないのがいいですね。僕はカモンのUC-Lを買いました。ちょっときつめです。
2021/10/14 00:11:23 田原悠西の日記
2021-10-13
_ [雑談]
ただ消費するだけというのがとにかく嫌いで、そんな生き方はもったいないから絶対にダメ!と強く思う。
[ツッコミを入れる]
2021/10/12 11:50:04 妄想的数学者の記
yoriyuki.info
2021 著作権. 不許複製プライバシーポリシー
2021/10/06 12:01:32 Island Life
「carとcdrの合成 (car, caddr, cadddr,...)って4段階までしか無いのか」ってツイートを見かけたので、無限に合成されるのを作ってみた。あらかじめ定義しておかなくても、ソースコードを読んだ時点で展開されるので、いくらでも長いc[ad]+rを使える。
2021/09/23 20:43:09 ￥ay diary
2021-09-23
タブレッド用アーム二種とトラックボール
2021/09/20 13:09:53 HaHaHa!
この広告は、90日以上更新していないブログに表示しています。
2021/09/20 03:44:09 yuumi3のお仕事日記
この広告は、90日以上更新していないブログに表示しています。
2021/09/17 22:17:11 タイプするサル
2021-09-17
スマホ代大航海時代
お久しぶりです。
〓
菅首相が仕掛けられたスマホ回線の価格競争、すごいことになってきました。
〓
先日auからpovo 2.0が発表されました。
〓
povo から新プラン povo2.0 がスタート｜au
povo から新プラン povo2.0 がスタート。現行プランの名称povoは、「povo1.0」に変更となります。
povo.au.com
povo
2021/08/16 23:36:18 sumiiの日記
このブログについて
2021/08/16 22:25:43 haskell - HaHaHa!
このブログについて
2021/08/16 18:21:05 西尾泰和のはてなダイアリー
このブログについて
2021/08/16 17:19:35 Oh, you `re no (fun _ → more)
このブログについて
2021/08/13 15:45:18 まめめも
アニメ「Sonny Boy」の『難解』プログラムの解説
2021/08/06 11:01:24 ひげぽん OSとか作っちゃうかMona-
Subscribe
読後の感想など
数字
355 ページ 12章
70日
GoodNotes の手書きノート407ページ
なぜ読んだか
冒頭にも書いたが Kaggle Indoor コンペでチームメイトの Saito さんのやっていることが分からなかったのが直接の動機。それ以外にも Discussions で線形代数の基礎が分かっていれば深い理解が得られそうな場面もあった。なので機械学習をからめて
2021/07/28 04:13:26 k16’s note
By k16時刻:10月 25, 20180 件のコメント:
By k16時刻:8月 15, 20180 件のコメント:
By k16時刻:7月 07, 20180 件のコメント:
By k16時刻:4月 30, 20180 件のコメント:
複数のレビュアーがバグトラッキングシステムで相互に意見を交わしながら技術書のクオリティを上げていく
2021/07/20 17:14:17 「Haskell」を含む日記 - はてなダイアリー
小学生の一歩先を行く大人の『ポケモンユナイト』
ちょもすです。 note note.com 書きました。おじさんまだそこ？ Nintendo Switch版『ポケモンユナイト』の事前ダウンロードがスタート〓明日に迫った試合開始に備えようhttps://t.co/scH5ixoT8f#ポケモンユナイト pic.twitter.com/hYBFNtyVUE 〓ポケモンユナイト公式 (…
chomo
2021/07/12 21:03:39 結城浩のはてな日記
読者になる
2021/07/06 23:32:01 2nd life
このブログについて
2021/01/15 02:20:46 圏外からのひとこと　避難所
2021-01-14
トランプのアカウント停止と「どうしますボス」攻撃
村上龍の「愛と幻想のファシズム」は1980年代にディープフェイクを予言していて、しかもそれは、革命を起こす側の「俺たちはフェイクを使うけど、本当にフェイクで世の中を支配しているのはお前らだろ」という怒りを現実化したアイディアとして描かれていて、凄いなあと思うけど、そのフィクションの中で、フェイクビデオを使って革命を起こそうとし
2021/01/01 13:04:31 るびきち「日刊Emacs」
Copyright (C) 2021 るびきち「日刊Emacs」は移転しました All Rights Reserved.
2020/12/07 10:01:49 て日々(目次)
2021年
1月
2月
3月
4月
5月
6月
7月
8月
9月
10月
11月
12月
2020/09/10 16:33:28 「Gauche」を含む日記 - はてなダイアリー
金融資産1000万円という最初のゴールをいかに早く達成するかが重要
神経内科医ちゅり男のブログ
2020-09-10 06:55:01
家族で古墳Ｔシャツ
マイル日記
2020-09-10 16:11:59
蟹の半身みたいなWi-Fiルーター ASUS RT-AX3000に買い替えたら自宅Wi-Fiが高速化され…
I AM A DOG
2020-09-10 10:00:13
Leica Qファース
2020/04/11 14:14:46 メモ新山さん
Apr. 2020
Last Modified: Sat Apr 11 05:02:35 UTC 2020
Duuude2020-04-11 [Sat] 13:29
暗い話だよなー、ほんとに。
技術的な判断ができない人々や、精神論的な考え方に頼る人々がトップに立つことが多い日本は、長い目で見れば徐々に衰退していくだろうとかねがね思っていた。が、この現象はもっと短時間のうちに起こりそうである。そして
2019/07/15 16:35:47 hisashim
Copyright (c) 2008-2019 Hisashi Morita (森田尚)
2019/01/05 03:23:45 Passion For The Future
「ツイてる！ポッドキャスト新春2019」 4日目平成の記憶に残る３大イベント
2019年1月 4日 09:40 daiya | 個別ページ
最終日は、４人のブロガーの記憶に残る平成の３重大イベントを紹介しました。
いしたにまさき
1. 9.11同時多発テロ
2. 地下鉄サリン事件
3. ライブドアショック
橋本大也
1. 9.11同時多発テロ
2. Wi
2019/01/01 04:54:51 w.l.o.g.
22:47 18/12/31
競技プログラミング歴20年になった
1998年に SuperCon ’98に参加したのが始めだったので、今年で20年になったことになります。「コンテスト風景」のリンクを辿ると20年前の私の写真があります。若い…。というわけで、なんとなく記憶をたどりつつメモを残してみようかと思いました。当時は情報オリンピック(IOI)に日本は出ていなかったので（1997〓2004の間休
2019/01/01 01:42:31 DA
いちばんあたらしいの2018 12/31 22:30
_31(Mon)
なんと今年は1件も日記を書かなかった。
ので、最後くらい。今年の重大ニュース。
無事娘2歳に。
家を買った。
Ruby 2.6 が無事にリリースした。
来年は忙しくなりそう。今まで以上にプログラミングしたい。
そういえば、いい加減日記システムなんとかせなな。
2018 01 02 03 04 05 06 07 08 09 10
2018/07/21 05:42:39 Think Stitch - PRINCIPIA
ソフトウェア開発を工学にする形式手法の紹介
2018/07/18 11:44:12 IDEA*IDEA 〓百式管理人のライフハックブログ
IDEA*PAD、weemo*、ACTION*PADサービス終了のお知らせ