ぶれいきんぐ・でっどろっく

pandaman64.hatenablog.jp の続きの話。お昼とか夕方に散歩するとすでに乾いているので問題なし!朝は寝坊が吉!アドバイスくれた人はありがとう!

Lox (Crafting Interpreters)にdefer文を追加する

Crafting InterpretersはRobert Nystromによるインタプリタ方式のプログラミング言語処理系の作り方の解説本である。 ハードカバー・電子書籍が発売されているほか、著者のページでWeb版が無料公開されており、自作言語界隈では人気を博している。 Crafting …

日本人優遇とその裏

今のアパートもありえないほどの掘り出し物件かつwaiting listの7人目だったらしいんだけど、後に分かったところによると大家が日本贔屓かつテック産業大好きで、僕のプロフィールをみてwait list一番上に引き上げてくれたらしい。その日のうちに契約した。…

でっどろっきんぐ・もーにんぐるーてぃん

私は毎朝洗顔を済ませてから着替えることにしている。洗顔時に上着がびしょびしょになってしまうからだ。 今朝は健康も考えて着替えた後に散歩に出かけてみたのだが、不都合な真実に気づいてしまった。 洗顔後に散歩をすると保湿クリームがマスクにくっつい…

nitpick 『詳説データベース』

CRDTなデータベースをon-diskで実装してえ…という思いが高まってきたので購入。ストレージエンジンと分散システムというトピックはどっちも興味があるのですごい嬉しいしオライリーだからDRMフリーPDFなのも素晴らしい。 ただ、読んでて筆が滑ったのか自分の…

『人間失格』

センチメンタルな日々を過ごしており、折角の機会*1だからと『人間失格』を手に取ってみた。 1日もかからずに読める長さなのもうれしい。主人公と自分に重なる部分を見つけて涙するところもあり*2、主人公の性遍歴・それを支える容姿や機知の部分には距離を…

平井デジタル相は脱PPAPで電話でのパスワード別送を推奨したのか?

要約: していない.記者会見の主眼はPPAP(自動暗号化ZIPファイル)の廃止であり,パスワード別送は限定的な状況を念頭に置いていると思われる(機密性の高い情報).特に電話は別経路の一例に過ぎない.次のツイートが話題になったことは記憶に新しいでしょう.…

数学に正解は一つしかないのか?

概要: 自分はそうは思わないし,数学はもっと広く捉えられるべきだろう.元ネタ: dafuyafu.hatenablog.com記事の主張は「数学の学習は寛容性を育む」ということだが,その点については同意も否定もしない*1. ただ面白いのが 数学が他の学問とはっきりと違う…

「〇〇はクソ」って言うけれど…

インターネットやってるとこういう意見,目にしますよね. 〇〇にはマスコミ・掛け算の順序・フェミニストなどなど何でも入っているような気がします. この記事ではこういった意見を目にしたときに自分がよくやる「思考のくせ」みたいなものを三点紹介した…

『トポスと高階論理』を読んでいる

前はちんぷんかんぷんだった文章が分かるようになるのって成長を実感するよね

『トポスと高階論理』を読んでいる

前はちんぷんかんぷんだった文章が分かるようになるのって成長を実感するよね

みんな○○好きねえ

みんなポケモン好きなんスねえ— 井山梃子歴史館 (@__pandaman64__) 2020年9月30日 みんなゲーム好きねえ— 井山梃子歴史館 (@__pandaman64__) 2020年9月18日 みんなハルヒ好きね— 井山梃子歴史館 (@__pandaman64__) 2020年5月5日 インターネット大盛り上がり…

どうしようもなくnaive realism

「分かりづらいツイートして満足してないでブログに書け(大意)」とのことなので書きました 元ネタ にじさんじ - Virtual to LIVE [Official Music Video]news.ycombinator.com 実在論(realism) 実在論とは,対象が我々の外部に独立して存在するという主張…

生産性を発揮できない

自分の一日のスケジュールは以下の通り:11時~12時 起きる ~13時 飯 13時~16時 「正」の時間 16時~20時 家事・(リングフィット)・風呂・飯 20時~22時 パソコンと向き合うけど特に何するでもない 22時~ 布団の中で動画見たり眠れね~~~ってなったり…

法律はGitというよりPijul

下の記事では法令の変遷をバージョン管理システム上で機械可読な形式で管理することを提案しています. 提案については賛成するのですが,技術的な点についてコメントをします. note.comリンク先の記事では法改正を行う法律は元の法律に対する差分として記…

ASMR筋

最近,YouTubeでASMR(Autonomous Sensory Meridian Response)動画を見る(聴く?)ようになった*1.ASMRは「ぞわぞわする反応」のことで,各動画はその反応を催すように作られているはずなのだが,どうやらそれにも適性があるらしい. ぼくはこれを「ASMR筋…

積み本『ゲーム理論はアート』

この記事は積み本アドベントカレンダーの9日目です今日の本は『ゲーム理論はアート 社会の仕組みを思いつくための繊細な哲学』ゲーム理論はアート 社会のしくみを思いつくための繊細な哲学作者:松島 斉出版社/メーカー: 日本評論社発売日: 2018/01/24メディ…

積み本『月とライカと吸血姫 (4)』

この記事は積み本アドベントカレンダーの8日目です今日の本は『月とライカと吸血姫 (4)』月とライカと吸血姫 (4) (ガガガ文庫)作者:牧野 圭祐出版社/メーカー: 小学館発売日: 2018/09/19メディア: 文庫冷戦×宇宙×差別という下地にボーイミーツガールを被せた…

積み本『太った男を殺しますか?』

この記事は積み本アドベントカレンダーの7日目です今日の本は『太った男を殺しますか? 「トロリー問題」が教えてくれること』です太った男を殺しますか? (atプラス叢書11)作者:デイヴィッド エドモンズ出版社/メーカー: 太田出版発売日: 2015/08/28メディア…

積み本『kinyou_benkyoukai vol.3』

この記事は積み本アドベントカレンダーの6日目です今日の本は『kinyou_benkyoukai vol.3』技術書典7で頒布された同人誌です. kinyoubenkyokai.github.io なんで買ったの 「IPFSとOrbitDBを利用した分散アプリケーション開発入門」が気になったので IPFSの記…

積み本『労働者のための漫画の描き方教室』

この記事は積み本アドベントカレンダーの5日目です今日の本は『労働者のための漫画の描き方教室』労働者のための漫画の描き方教室作者:川崎 昌平出版社/メーカー: 春秋社発売日: 2018/07/24メディア: 単行本(ソフトカバー) なんで買ったの Twitter 序章だ…

積み本『中華オタク用語辞典』

この記事は積み本アドベントカレンダーの4日目です今日の本は『中華オタク用語辞典』中華オタク用語辞典作者:はちこ出版社/メーカー: 文学通信発売日: 2019/06/28メディア: 単行本 なんで買ったの 表紙かわいいね ぱらぱら見て 中国語やるかあ・・・

積み本『なめらかな世界と、その敵』

この記事は積み本アドベントカレンダーの3日目です.今日の本は『なめらかな世界と、その敵』(カンマではなくちゃんと読点を使った)なめらかな世界と、その敵作者:伴名 練出版社/メーカー: 早川書房発売日: 2019/08/20メディア: 単行本 なんで買ったの Twi…

積み本『光の量子コンピューター』

この本は積み本アドベントカレンダーの二日目です光の量子コンピューター (インターナショナル新書)作者:古澤 明出版社/メーカー: 集英社インターナショナル発売日: 2019/02/07メディア: 新書 なんで買ったの? いちおう量子計算をやっている人間ということ…

積み本『ソフィーの世界』

この記事は積み本アドベントカレンダーの一日目です.今日の本は『ソフィーの世界』.ソフィーの世界 哲学者からの不思議な手紙作者: ヨースタインゴルデル,Jostein Gaarder,池田香代子出版社/メーカー: NHK出版発売日: 1995/06/01メディア: 単行本購入: 33…

『女の子は本当にピンクが好きなのか』

無.『少女の社会史』の内容ががっつりで読み切れなかったので軽そうなのを選んだが軽すぎて無だった.女の子は本当にピンクが好きなのか (ele-king books)作者: 堀越英美出版社/メーカー: Pヴァイン発売日: 2016/02/26メディア: 単行本(ソフトカバー)この…

第51回 情報科学若手の会

量子計算の話をしてきました.発表があまり「刺さった」感じがしなくて残念.レベル感の調整がなー. すごい人でも業界のニュース追って無ければそういう感覚を持つんだなーというのは発見.メディアは悪い. 質問が出たのでそういう話が望まれているのかな…

レヴュースタァライト3話まで感想

事前知識: 大庭なながアレ華恋の目標は二人でトップスタァになること 真矢はステージの中心に立つのは(自分)一人と考えている ではひかりの思惑は何なのだろうか?アタシ再生産?変身バンク 服の大量生産工程であることが気になる 体の大きさもあるしオー…

覚書 『大切なことは(実は)ギャンブルが教えてくれる』

objsbjvism.wordpress.com些末なことから大きなことへと並べている 数式が微妙に雑で不安になる(簡単のためにやってるんだろうが・・・) クラスタリング的なポートフォリオの最適化問題(1)は式を再現できなかった 人間ってベイズ推論してる訳ではないので…

リズと青い鳥

今回はフェイクではなく,ちゃんと見ました.爽やかだった— 酩酊して健全性を失った型システム@500円借金 (@__pandaman64__) 2018年5月22日 たとえ巣立ってしまったとしてもお互いが大事なのは変わらないんだよな— 酩酊して健全性を失った型システム@500円借…