数学は哲学？ - Sokratesさんの備忘録ないし雑記帳

2024/02/28 74 users 備忘録 コミュニケーター 数学 Sokratesさん 哲学

「大学で数学は哲学になる」と主張する人がいる*1．特におもしろくもないし，適切な比喩とも思えないんだが，一部の頭がフワフワしている層や視野の狭い人々，数学を神聖なものに祭りあげたい何とかコミュニケーターなどには受けるらしく，ごくまれに信じている人がいる*2． ただ，実際問題，違いを説明しろと言われると... 続きを読む

「型システム入門」の先へ：TypeScriptの型システムのいくつかの側面 | 雑記帳

2023/12/08 80 users TypeScript 側面 言語実装 型システム入門 興味

この記事は TypeScript Advent Calendar 2023 の8日目の記事です。言語実装勢にも役立つ内容を含んでいるかもしれないので、 言語実装 Advent Calendar 2023 にも登録しています。 TypeScriptで型システムに興味を持った人が「型システム入門」を読んだという話を時々聞きます。「型システム入門」は、Types and Program... 続きを読む

トンデモに対する防衛術 | 雑記帳

2023/11/21 91 users トンデモ 作者 防衛術 対処 理解

いわゆるトンデモに関して私が思うことを何点か書いておく。 何を問題にしているか ここで問題にするのは、例えば以下のような表現物である： 初心者にとって有害である。つまり、間違った理解を植え付ける。 誤りを修正したら何も残らない。 すべきではない対処 まず、作者に突撃して撤回させるのはあまり現実的ではな... 続きを読む

【詳細版】 1+1=2 笑えない数学 ～笑わない数学の笑えない間違いの話～ - Sokratesさんの備忘録ないし雑記帳

2023/11/06 130 users www.nhk.jp 誤解 備忘録 数学基礎論 NHK

NHK で放映された『笑わない数学』という番組の次の回が話題になっていた． www.nhk.jp 企画意図としては「\(1+1=2\) という式を通して数学基礎論という分野を紹介する」というものだったのだが，怪しい説明や誤解を招く説明，端的に誤っている説明があった．というか，全体を通してそういうものがとても多かった．どう... 続きを読む

またぞろ「メディア戦略」を始めた旧ジャニーズ事務所の愚…TV局と再接近、出版社を選別｜ギョーカイ“マル秘”雑記帳

2023/10/27 171 users ギョーカイ SMILE-UP. 選別 社名 マル秘

今月17日に「SMILE-UP.」に社名を変更した旧ジャニーズ事務所の水面下での動きが伝わってきた。今後は旧ジャニーズを支えてくれた一部のファンクラブメンバーと、新会社を支持することを約束した一部のキー局と“再接触”する動きがあるという。民放キー局幹部が声を潜めて話す。 「NHKは、世間の目を気にし被害者救済にめ... 続きを読む

【速報版】 1+1=2 笑えない数学 - Sokratesさんの備忘録ないし雑記帳

2023/10/21 130 users www.nhk.jp 誤解 備忘録 数学基礎論 NHK

NHK で放映された『笑わない数学』という番組の次の回が話題になっている． www.nhk.jp 企画意図としては「\(1+1=2\) という式を通して数学基礎論という分野を紹介する」というものだったのだが，いくつか怪しい説明や誤解を招く説明，端的に誤っている説明が散見された．というか，全体を通してそういうものがとても多... 続きを読む

Pythonについて思うこと | 雑記帳

2023/05/23 130 users Python 新米 自覚 才能 言語

みなさん、Pythonは好きですか？ この記事では、私がPythonという言語とそのエコシステムについて思うところを書いていきます。全体を通したストーリーみたいなのはなくて、トピックごとに書いています。 私のPython経験は3年弱です。Pythonについてまだまだ新米だという自覚はありますが、そこは有り余る才能でカバーし... 続きを読む

これから流行る言語 | 雑記帳

2023/05/07 81 users 言語 Kotlin rust TypeScript 趣旨

新言語にできることはまだあるかい なんとかWIMPS 最近（1ヶ月くらい前）、こんな記事が出ました： 新しいプログラミング言語が出てこない(新しく出てた言語を追記) – きしだのHatena Kotlin, TypeScript, Rust, Swift以降にみんなが話題にするような新しい言語が出てこない、それはなぜか、みたいな趣旨です。客観的に... 続きを読む

サーバサイドでJWTの即時無効化機能を持っていないサービスは脆弱なのか？ - くろの雑記帳

2022/04/18 179 users ステートレス JWT サーバサイド グロ OWASP TOP

きっかけ 昨年(2021年9月ごろ)に徳丸さんのこのツイートを見て、「2022年にはJWTを用いたセッション管理に代表される、ステートレスなセッション管理は世の中に受け入れられなくなっていくのだろうか？」と思っていました。 OWASP Top 10 2021 A1に「JWT tokens should be invalidated on the server after logout.」（... 続きを読む

Amazonから注文していない商品が次々と届く、しかし代引きではない… - xckb的雑記帳

2021/08/21 534 users 代引き 趣旨 Amazon 詐欺 雑貨

さて、先日から自分のもとに、全く身に覚えの無い謎の雑貨の類が次々とAmazonから届くようになった。これが代引きなら典型的な送りつけ詐欺なのだけれども、代引きではない。 そんな体験をしたことがあるだろうか。 継続中案件なので詳細な部分に関しては適宜フェイクを混ぜるが、全体の趣旨としては問題ないようにして... 続きを読む

男のいる生活 - 雑記帳

2019/10/23 238 users 行儀 生活 ご存じ 個体 飼育

男を飼うならできるだけ飼育に手間のかからない行儀のよいコが理想です。 ですが、ご存じのように男は元来女より頭が悪く粗暴で体も心も弱くすぐ死ぬ生き物であるのは各種統計が示しています。かろうじて理系分野では女と同等程度の能力を発揮する個体もいますがほとんどの個体は女には到底かなわない。 更に男はまとも... 続きを読む

巨乳を掲示する自由と、女性たちの恐ろしいまでの絶望について - 雑記帳

2019/10/23 641 users 巨乳 絶望 女性たち

赤十字の献血ポスターで不自然に乳房が協調されたイラストを採用したとされる件について、イラストが性的だとか女性を搾取しているとか、逆に騒ぎすぎだとかこれくらい大したことないとか、お互いにたたき合うのは不毛なので、お互いの前提があまりにかみ合っていない点を話し合うべきだと思う。 togetter.com 政治的正... 続きを読む

『サクラクエスト』回顧録1　～序章～ | 脚本家・入江信吾の雑記帳

2019/09/18 78 users 序章 SHIROBAKO 回顧録 サクラクエスト 脚本家

2017年4月より半年に亘り放送されたアニメ『サクラクエスト』。 脚本家として参加した立場から、個人的に回顧録を残しておこうと思う。 『花咲くいろは』『SHIROBAKO』に続く、P.A.WORKSの「お仕事シリーズ」第3弾。 ひょんなことから田舎町の観光大使に就任した女の子の一年間の奮闘を描く。 私にとって初のオリジナル... 続きを読む

男性が生きずらいのを女性のせいにするのをいいかげんやめてほしい - 雑記帳

2019/06/12 805 users 考察 ライ 自殺率 構造 もも｜note

あんまりにも酷い記事をみたので。 男性のつらさの構造｜すもも｜note 男性は女性に比べて犯罪率も自殺率もかなり高くて、たぶん女性とは別の種類の生きにくさがあるだろうというのは分かる。それが煮詰まってしまうと最近大きく報道された通り魔や息子殺しに到達してしまうのだという考察も必要だと思う。 でもさ、いい... 続きを読む

自作OSでは価値を生み出せないと思っていた過去の自分へ - livaの雑記帳

2019/02/19 87 users 素振り Linux LIVA 既存OS 結論

結論を先に書くと、「インプット不足」。 自作OSをやっていた頃は、「イマドキ自作OSなんてやっても、もう既にLinuxあるし、意味ないんじゃないかなぁ」みたいな事を良く思ってたんですよね。 「自作OSをやる意味」として考えられるのは2つあると思っていて、 自分の技術力強化＝素振り 既存OSにない価値の提供 かなと。... 続きを読む

Haskellerのためのモノイド完全ガイド | 雑記帳

2019/02/12 58 users Haskeller

Haskellにおけるモノイドについて解説記事を書いてみた。他の言語でも通用する話があるかもしれないし、ないかもしれない。 モノイドとは モノイドとは、ざっくり言うと「くっつける」演算ができる対象のことである。例えば、文字列やリストの連結、数の足し算や掛け算は「くっつける」演算の一種である。 モノイドには... 続きを読む

男女間におけるセックスに対する温度差を考える - 雑記帳

2018/11/22 57 users セックス 温度差 男女間 ペニス ぬいぐるみ

女性は男性に突然告白されるとぬいぐるみにペニスが生えてきたようなショックを受ける、というのが棘で定期的に上がってきますね。 これ、相手をぬいぐるみ扱いするなんて男性を見下してる傷ついたみたいなのは、なんか違うんだよそういうことじゃないんだよと言いたい。 togetter.com なんていうか、たぶん「セックスは... 続きを読む

軽い気持ちでソシャゲのスクショを貼ったら高尾山が実装されることになりました【Re:ステージ！の魅力】 - yunastrの雑記帳

2018/08/25 187 users Twitter スクショ ソシャゲ 高尾山 背景

2018年7月、私はいつものようにTwitterをしながら「ツイートすること特にないしソシャゲの画像でも貼るか」の精神でスクショを貼りました。 マイナーソシャゲのADVパート本当に世知辛いものがあって、例えば背景が高尾駅前から一切変わらないまま高尾山に登ったりする pic.twitter.com/acF8nr0sNo — yunaster (@yunaster... 続きを読む

OSを好きなだけの普通の大学生が簡単に強くなる方法 - livaの雑記帳

2018/05/20 51 users 多方面 LIVA 続編 お叱り com

2018 - 05 - 20 OSを好きなだけの普通の大学生が簡単に強くなる方法 Tweet raphine.hatenablog.com 以前こんな記事を書きました。 この記事の最後では「ここの記事に書いた内容を実践するだけじゃ大学生は強くなれないよ」と言い残したわけですが、多方面から「じゃあ大学生はどうすれば良いんだよ！」みたいなお叱りを頂いたので、続編の大学生版を書きます。 ただし続編といっ... 続きを読む

世界の雑記帳：英スヌーカー選手権、優勝者が「裸で会見」の約束守る - 毎日新聞

2018/05/09 213 users 毎日新聞 約束 ウェールズ ビリヤード スコットランド

［８日　ロイター］ - ビリヤードの一種であるスヌーカーの世界選手権が英国で行われ、３度目の優勝を果たしたウェールズの男性、マーク・ウィリアムズさん（４３）が８日、公約どおり試合後の記者会見に裸で臨んだ。 ウィリアムズさんは、決勝戦でスコットランドのジョン・ヒギンズさんを下したら裸で記者会見する、と話していた。 決勝戦では１８対１６で勝利し、４０年の大会史上最年長の優勝者となった。 ウィリアムズさ... 続きを読む

普通の中高生でも簡単にOS分野で強くなる方法 - livaの雑記帳

2018/04/28 103 users 疑問 皆さん 方法 Tweet 多く LIVA

2018 - 04 - 28 普通の中高生でも簡単にOS分野で強くなる方法 Tweet 釣りタイトルだと思った皆さん、残念ながら本記事は釣り記事ではありません。 安心して読み進めてください。 「強くなりたいです。どうやったら強くなれますか？」 恐らく情報系の多くの人が抱えている疑問なのではないでしょうか。 「I know everything」みたいに言える人って中々いないですよね。 ちなみに、僕... 続きを読む

そろそろ「宇宙よりも遠い場所」についてちゃんと語ろう - xckb的雑記帳

2018/04/07 132 users 宇宙 遠い場所 私見 傑作 感情

2018 - 04 - 07 そろそろ「宇宙よりも遠い場所」についてちゃんと語ろう アニメ 宇宙よりも遠い場所 さて、2018年冬アニメ「 宇宙よりも遠い場所 」が最終回を迎えて1週間と少し経った。あくまで 私見 ではあるが、まさに何年かに一度レベルの傑作と呼ぶのにふさわしい作品だったと思う。自分が大好きな作品を引き合いに出すのであれば、たとえば「 四月は君の嘘 」のように感情を激しく揺さぶられ、... 続きを読む

田舎の閉鎖性の中で犯罪者にされそうになった話。 - 雑記帳

2018/03/19 144 users 田舎 閉鎖性 犯罪者 犯人 火サス

2018 - 03 - 19 田舎の閉鎖性の中で犯罪者にされそうになった話。 どなたかが書いていたので、私もこっそり書いてみる。田舎まじやばい。やばい人は都会にもいるけど、田舎のやばい人からは逃げられないという構造を知っておいて欲しい。 note.mu こちらの方は性被害にあったようだけど、私は刑事事件でした。目の前で火サスみたいなことがおこって危うく犯人にしたてあげられかけた。全員が犯行現場を目... 続きを読む

Y.A.M の 雑記帳: Android アプリの開発でドメイン駆動設計に取り組む話

2018/02/09 62 users ドメイン駆動設計 Android アプリ 開発 A.M

前回 に引き続き、スピーチ原稿と合わせて公開します。 （講演ではアドリブもあるので原稿とは微妙に異なることをご了承ください） 前回の Droid Kaigi で私は「ドメイン駆動設計とは何か」という話をしました。 本当は前回のCfPを出す時点でAndroidアプリ開発での実装の話もいれようかなと思っていたのですが、ドメイン駆動設計が何かをきちんと説明するだけでいっぱいいっぱいでした。 今回は前回の... 続きを読む

minimalなlinuxを作りたい、と思ったんだ - livaの雑記帳

2018/02/09 195 users GitHub LIVA Linux 反響 https

2018 - 02 - 09 minimalなlinuxを作りたい、と思ったんだ linux Tweet 以下のツイートが結構反響があったので、どんな事をやったのかまとめておく。 自分の勉強用に最小構成の linux を作ったので、 github に転がしておく（不要な.cファイルもパッと見つけられる限り削除した） https://t.co/KdTb6zgr8N — Liva (@liva_jy)... 続きを読む