長崎に移住した人のYouTubeチャンネル「長崎暮らし」を楽しく見ている
インターネット・アーカイブが今週創設25周年を迎える
トム・スタンデージが新刊で説く「車の黄金時代の終焉」
ファンによる労作「プリンスのスタジオレコーディング記録（1973年-1989年）」
DUNE/デューン 砂の惑星
計算機科学者とは、壊れていないものを修理する人々のことである
2021-10-26
_ テレビのあるくらし
前の家にゲームのためにテレビを買って、これってテレビ見ることもできないかな、ってことでアンテナとか買ってみて、でもうまくつなげるやりかたがわからなくて、諦めていた。引越してきて、これを刺せば動くんじゃないか……？と刺してちょっとなんかしてみたらうつった。このようにして我が家に3種の神器がそろったのである
と、思ったら、高度成長期の3種は車が必要なのか:
9月に読んだ漫画
先月同様に主にタイトルのみ。67冊。多かったな。ジョジョリオンを一気読みしたのが大きい。
『SHIORI EXPERIENCE』7-17
先月からつづきで読んでた漫画。まあまあ。
『ウィッチウォッチ』2
『SAKAMOTO DAYS』3
『ルックバック』
『白井カイウ〓出水ぽすか短編集』
『ハイパーインフレーション』2
ハイパーインフレーション、1巻ではピンとこなかったけどなんか
10月24日_
鼻水が酷い
暗認本読書会5回目の資料準備する.
10月22日_
she-rust
exportすべき関数名が間違っていたのを修正.DLPを解くためのテーブルの退避・復元APIを追加.
10月21日_
暗認本読書会4
今回はChaCha20やAES, 暗号化モード, XTS-AESなどの話.
10月19日_
simdgen
関数内で使う定数の登録を自動的にできるようにした.これで大分
シニカルヒステリーアワー
山手線 なぜ明日明後日の山手線は、外回りの本数も減ってしまうのかを説明してみた pic.twitter.com/06AwxWvrCt — まん電 (@wkmk06yr1) October 22, 2021 〓〓<どうして山手線の内回りが工事で運休
2021-10-22
圏論的コンテナ
雑記／備忘
コンテナは、形状〈shape〉を持つデータに対する型理論的な概念として登場しました。よく知られたデータ型をコンテナとして説明できるので便利だなとは思っていましたが、データ型以外の用途でも使えることに気付きました。まずはこの記事でコンテナそのもの…
圏論的コンテナ
圏論的コンテナ
処理系ミートアップのいいところを書く
2021-10-20
Event
自作のプログラミング言語Shiikaの開発において、処理系Slackの定期ミートアップにはとても助けられています。今日はどんないいことがあるのかについて挙げてみます。
定期ミートアップとは
処理系Slackの有志でやっている、プログラミング言語処理系について話す会です。いまのところ隔週日曜日に開催されていて、持ち時間は1人15
MacBook Proを壁に寄せるにはType-CのL字コネクタも必要です。Type-Cだと左右がないのがいいですね。僕はカモンのUC-Lを買いました。ちょっときつめです。
プログラミング言語Pascarを作りました
「世の中に一言言ってやりたい」病
(:use cl fare-csv sql kw))
(dolist (line (subseq (cdr *newly_confirmed_cases_daily.csv*) 0 nil))
(dolist (line (subseq (cdr *newly_confirmed_cases_daily.csv*) 0 nil))
All Rights Reserve
2021-10-06
水平埋伏智歯 抜歯 右下編
https://w0.hatenablog.com/entry/2021/01/17/003620
>反対側抜糸の予約も入れました
行ってきた。麻酔があまり効かなくて、耐えられないくらい痛かったので、途中で挫折しました。
事前の説明では、左下より骨に埋まってるから前回よりちょっと大変かも、みたいな説明だった。前回も耐えられないくらい痛かったけど、継
ここで、x*y がふつうは自然数の乗算 (Nat.mul x y) なのだが、type_scope では組を表現する型 (prod x y) なので、その違いを使って引数の解釈を確認している
というエラーなので、x*y が Nat.mul と解釈されているようだ *)
Check id1 (nat * nat). (* 自分で id と同じ定義をすると動く *)
(* これは id と同様に失敗す
2021-09-17
土葬
現代の日本においては遺体(いたい)は原則として火葬される法律になっている。 しかし実際に日本のあらゆる土地で火葬が当然になったのはそう古い話ではない。 私の地元 (香川県西部の一地方) では 1950 年頃までは土葬が標準だったようだ。 (時期については聞き取った老人の記憶が元になっているのでそれほど正確ではない。 しかし今でも生きている老人の幼い頃に土葬が標準だったの
この広告は、90日以上更新していないブログに表示しています。
I
このブログについて
アニメ「Sonny Boy」の『難解』プログラムの解説
またまた久しぶりに竹内関数で JavaScript、Python、Ruby、Scheme と Smalltalk とを戦わせてみる
Squeak Smalltalkを多コア対応させる10年程前の試み「RoarVM」で再び遊ぶ
0 0p=196,0p:p2, インタールード 0をaccへ
1 tl(300), 作業領域ts(300から498)をクリア
2 p1r,
3 a40, 2を足す
5 s8r, 終了か
7 jlr, ループする
1 x16r, atan サブルーチン 帰り番地を入れる
2 p4n, 作業場所ssをクリア
4 s19n, 終了?
6 p4n, 0をacc
認識された長いフレーズのリストの例は, こちらに置いておきました。バイグラムを結合するときの頻度を10以上などにすると, より綺麗なフレーズが得られますが, 頻度の低い長いフレーズは認識されなくなります。頻度を1以上にした場合の, 面白い長いフレーズの例を, 自分用メモも兼ねてこちらに置いておきます。
下に, フレーズを認識するPythonスクリプトを置いておきます。使い方はそのまま実行してヘルプ
Apr. 2020
Last Modified: Sat Apr 11 05:02:35 UTC 2020
Duuude2020-04-11 [Sat] 13:29
暗い話だよなー、ほんとに。
技術的な判断ができない人々や、精神論的な考え方に頼る人々がトップに立つことが多い日本は、長い目で見れば徐々に衰退していくだろうとかねがね思っていた。が、この現象はもっと短時間のうちに起こりそうである。そして
6 hours ago
2 days ago
10月上旬
2019年10月2日(水)
■ 正当なメールアドレスが使えないのは不当か
_ Jリーグチケットは正当なメールアドレスを受け付けないという話。
_ 自分も y@ という1文字ローカルパートなメールアドレスを使ってるのでときどき同じ罠にひっかかるけど、まあそういうもんだと思うけどね。イラッとすることは否定しないけど。RFC で制限されてないからといって、アプリケーションが独自に制限
TravisCI で粗雑にテストを分割実行する (2018-09-18 02:46:10 UTC)
14年4月 diary
最新の日記 前の月 次の月 日記INDEX はじめての方へ HOME
4月1日（火）
▼「ヒッグス粒子を追え」フランク・クローズ
この辺りの理論は知っていたが、発見のドラマの方について読んだのは初めてだったので面白かった。朝永らのくり込みの時代から始まって、標準モデルが確立するまでの過程を「無限大の問題」を軸にしてまとめたもの。原題は”the Infinity Puzzle