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

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

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

「頑張らない学生指導」を頑張ろう - Seitaro Shinagawaの雑記帳

2023/12/31 12 users Seitaro Shinagawa 学生指導

こんにちは、品川です。大学教員になって約3年、今の所属はボスの退官に伴い、今年度で終了になる予定なので、備忘録としてぽつぽつと反省をまとめていこうと思います。今回は大学教員としての仕事の仕方についてです。 せっかく大学教員になるのだから、学生ファーストで少しでも学生に良い経験を積んでもらって能力を... 続きを読む

「型システム入門」の先へ：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\) という式を通して数学基礎論という分野を紹介する」というものだったのだが，いくつか怪しい説明や誤解を招く説明，端的に誤っている説明が散見された．というか，全体を通してそういうものがとても多... 続きを読む

台風７号　避難した - ururundoの雑記帳

2023/08/16 14 users 人ごと ururundo 土石流 縦断 山村

8月16日 台風７号が近畿を縦断　もしくは横断すると ニュースは伝えた。 私は杉の人工林に囲まれた山村に住んでいる。 人工林が根を浅く張るのは　倒木を見ると一目瞭然だ。 倒木は停電　道を塞さぎ　土石流を引き起こす。 豪雨　暴風による土砂崩れ　倒木 洪水をニュースで見ると人ごとではない。 避難所が開かれると　... 続きを読む

映画「シン・仮面ライダー」公開からわずか4カ月でAmazon Prime Video独占配信の裏事情｜ギョーカイ“マル秘”雑記帳

2023/07/26 11 users ヒロイン 独占 庵野秀明 池松壮亮 アマプラ

7月21日から映画「シン・仮面ライダー」がAmazon Prime Video（アマプラ）で独占配信されて話題になっている。同作は1971年放送開始の特撮テレビドラマ「仮面ライダー」を、「シン・エヴァンゲリオン劇場版」「シン・ゴジラ」の庵野秀明が監督・脚本を手がけて新たに映画化。主人公を池松壮亮（33）、ヒロインを浜辺美波... 続きを読む

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

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

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

今季最後の八朔 - ururundoの雑記帳

2023/05/12 16 users 果肉 名残 果汁 オレンジ色 ururundo

小さな八朔 沢山の小さな八朔が　大きな箱で和歌山から届く。 皮は少しくたびれ気味。 果肉はとても甘い。 今季最後の名残の八朔。 大きな竹籠に盛り　テーブルの上に置く。 黄色が　薄暗い昼間の小屋の中で輝く。 平たい器に　袋から出したオレンジ色の実を並べると 果汁が器の底に流れ　八朔が生き物の様だと思う。 一... 続きを読む

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

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

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

「キネマ旬報」「天路の旅人」沢木耕太郎著 - ururundoの雑記帳

2023/04/26 20 users ラマ ノンフィクション リポート ururundo 沢木耕太郎

図書館から予約していた本を２冊受け取る。 定期購読予約の「キネマ旬報」 友達が絶賛していた 沢木耕太郎のノンフィクション「天路の旅人」。 キネマ旬報は松本零士特集とアカデミー賞のリポート 「天路の旅人」は　『第二次世界大戦末期　一人の日本の若者が　敵国である中国の　その大陸の奥深く潜入した。 彼はラマ... 続きを読む

風の強い日 - ururundoの雑記帳

2023/04/25 11 users バスタブ 停電 ururundo 小屋 深夜

4月20日は　穏やかで暖かい日 昼から深夜まで　ずっと強い南風が吹いた。 怖いような風だ。 表にも出ず　ずっと小屋の中で暮らした。 大きな音を立て　小屋に叩きつける風。 六日前の　穏やかで暖かい日を ずっと遠くに感じる。 なぜか落ち着かなく　ソワソワとして 停電で水が止まるかもしれないと バスタブに半分程　... 続きを読む

Akamai x UNIQLOコラボTシャツに書かれたプログラムを解読してみる - くろの雑記帳

2023/04/22 12 users グロ プログラム Akamai エンジニア Tシャツ

Akamai x UNIQLOコラボのTシャツのデザインが、エンジニアからすると目を引くようなものだった。 本日、Akamaiは @UNIQLO_JP のチャリティTシャツプロジェクト「PEACE FOR ALL」に参画したことを発表4月21日(金)より グローバルで発売されます。このデザインには人々の安全、安心を守りたいというAkamaiの願いが込められ... 続きを読む

２０年やってるブログの総計はてブが２万４千を超えました - 玖足手帖-アニメブログ-

2023/04/14 21 users アラサー 大学生 半分 日常雑記 総計

大学生の頃から雑記帳として思いついたことを書き散らかした。そして２０年。 人生の半分をはてなブログ（はてなダイアリー）とともに、主にアニメの感想を書き散らかしてきました。 本当に最初の方は思いつきやちょっと見たアニメの感情的な感想や日常雑記で見るに堪えない。 アラサーになってから批評系同人誌に寄稿依... 続きを読む

シジュウカラ　　映画「殿、利息でござる！」 - ururundoの雑記帳

2023/01/18 14 users ururundo シジュウカラ カメムシ 好物 みかん

シジュウカラ 神経質なシジュウカラを　窓ガラス越しに見る。 私が少しでも動くと　パッと飛んで行ってしまう。 スマホで撮るには　難しいなあ。 餌台に好物のカメムシ　みかんを置く。 すぐに　どこかから　何羽も飛んで来て チーチーと鳴き交わし　餌を食べる。 あるものは木の枝に咥えて行き あるものは　餌台の箱の... 続きを読む

夏の終わりの輝く緑 - ururundoの雑記帳

2022/09/26 15 users その道 ururundo 往き 大津 用事

滋賀県大津市和邇 用事で大津に出かけた。 片道４、５０分のドライブ 往きと違うルートで帰ろう。 その道は古い街道筋と 畑　田んぼ　山などを巡る道だ。 空は広く　夏の終わりの緑は 昼の太陽に照らされて輝いている。 夫の運転する車の窓から スマホで２枚写真を撮った。 輝きを感じるいい写真だと　私は思う。 夜にな... 続きを読む

著者陣の視点からVision Transformer入門の執筆の背景と書評を書きます - Seitaro Shinagawaの雑記帳

2022/09/17 6 users 書評 Seitaro Shinagawa 執筆 著者陣 背景

こんにちは、品川です。Vision Transformer入門という本の執筆に参加しました。いよいよ本格的な販売がはじまります。どんな本なのか注目してくださってる方もいらっしゃると思うので、著者陣の一人の視点から執筆の背景と書評を少しだけ書こうと思います。 gihyo.jp 執筆の背景 書評 第1章 TransformerからVision Trans... 続きを読む

鹿の足跡 - ururundoの雑記帳

2022/05/28 15 users 雨水 激しい雷雨 ururundo 昼間 薄明

鹿の足跡 激しい雷雨の夜が明け 雨水を吸った湿った土の上に しっかりとした　足跡を残し 歩いていたのは誰だ？ 昼間に　時折 金属音の様な声を響かせている　鹿の足跡だ。 険しい崖に　力強く蹴り上げ道をつけ 「ああ　これが獣道なのか」 と　私を感心させる事も度々。 まだ　車も通らない薄明に 川沿いの道を歩き　ど... 続きを読む

卯の花（おから） - ururundoの雑記帳

2022/04/22 18 users ちくわ 椎茸 人参 ururundo ライ麦パン

卯の花（おから） ライ麦パンと共に 京都からやってきたおから。 それは　真っ白で柔らかく　微かに豆の香りがする。 人参　ちくわ　甘辛く炊いて冷凍保存していた椎茸。 それらを　食べた時に存在感がある様に切る。 料理に口うるさい亡き父が言った 大きすぎても　小さすぎてもいけない 口の中で　素材が分かるように... 続きを読む

サーバサイドで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.」（... 続きを読む

テーブルの上にラッパ水仙 - ururundoの雑記帳

2022/04/09 13 users ururundo 鈴なり こぶし 水仙 八重

いよいよ　春がやってきたと思う。 小屋の周りの木々の枝には 膨らんだ芽がほころび ハコベの花が咲いている。 雪の下でこの日を待っていた水仙も。 あちらこちらに 馬酔木の花も鈴なりに 山桜の小さな花は　やっと咲き始め まだ散る気配はない。 山には　コブシと山桜。 道の脇に群れて咲いている 八重のラッパ水仙。 ... 続きを読む

冷たい１日だった - ururundoの雑記帳

2022/04/01 12 users ururundo

村の「ミッドタウン」の橋から東を眺める 今日　私は３回目のワクチン接種に行った。 走っている車がフラっとする程の　風の強い日。 病院は山から降り　湖岸の町。 梅の花がやっと満開 畑の所々にポツリポツリと　黄色の菜の花が咲き 畑の土を耕し始めた人達がいる。 道中から見た山並みの頂きには　まだ雪が残る。 今... 続きを読む

執筆中：「Haskellでの型レベルプログラミング」 | 雑記帳

2022/03/30 11 users Haskell 型レベルプログラミング 筆者 側面 強み

最近、「Haskellでの型レベルプログラミング」という「本」を執筆している。まだ完成ではないが、以下のリンクから読める： Haskellでの型レベルプログラミング なぜHaskellか 最近いろんな言語が出てきている中で、Haskellの強みとは何だろうか。人によって答えは色々あるだろうが、筆者にとってHaskellの魅力的な側面... 続きを読む