「一人の政治家を有権者が選ぶ」という意味では日本最大の選挙区になっている東京都都知事選。蓋を開けてみたら無難に現職・小池百合子さん勝利でゼロ打ちでした。小池百合子さん、都知事当選おめでとうございます。また、すべての候補者、陣営の皆さま、また選管や警視庁、都庁・各自治体の皆さまも諸事ご対応賜りまして、ありがとうございます。お疲れさまでした。 2位じゃダメなんですかの蓮舫さんが石丸伸二さんにまくられて3位転落という15年ごしの伏線回収もありました。ネットでも街角でも蓮舫さんを応援していた支持者の皆さんは、いまどんな気持ちなんでしょうか。 ©時事通信 石丸伸二さんに勤労層無党派を奪われしんどい選挙戦に あまりに共産党に寄り過ぎて志位じゃダメなんですかって話なのかもしれませんが、自治体別の得票数で見ると小金井市、東大和市、清瀬市、日ノ出町、檜原村など東京都下の高齢化に悩む地域と島嶼部で2位蓮舫でし

日本の国立大学は次のようにして潰すことができる。 1. 国の庇護から追い出す国の手厚い保護があっては潰すことができない。 まずは、国から切り離す必要がある。 これは2004年の独立行政法人化で実現した。 これが、国立大学を潰すための第一歩である。 2. 継続的に予算を減らす各大学が、潤沢な予算を持ち続けるようでは潰すことができない。 継続的に予算を減らし、弱体化させる必要がある。 これは、運営費交付金を年率1%、継続的に減らすことで実現する。 現在も順調に進行中であり、独立行政法人化後、10%近くの減額を達成している。 運営費交付金は、人件費や施設維持費を含む大学運営の基盤となる予算であるため、10%の影響は甚大である。 各大学の弱体化は着実に実現できている。 3. 争わせて疲弊させる国立大学間で互いに争わせることで、各大学を疲弊させ、弱体化を加速させる。 取り上げた運営費交付金を競争的資

Aiy-yue-kwee’ Nee-kee-chue! 皆さんこんにちは、 亜希ダウニング（aki_downing）です！ カリフォルニア州のネイティブアメリカン”ユロック族”に嫁ぎ 先住民の土地でのびのび楽しく暮らしています！ 2024年6月12日、1本のミュージックビデオが話題になりました。 Mrs. Green Appleという日本のロックバンドの新曲 「コロンブス」 ”アメリカ先住民に対する差別ではないか”との声があがりました。 私もこの件についてTwitterやインスタで自分の意見を投稿。 いくつもの投稿が瞬く間に広がりました。 今日はこの騒動について、先住民に嫁いだ私の目線からお話させてください。 正直、この立場から日本語で語れるのは世界で私しかいないんじゃないかってくらい思ってます。 ただちょっと思った以上に長くなってしまったので、 読んで損はしないけど時間だけは無駄にします

前回 で WSL に Ruby 3.3 が入ったので次は irb の設定をします。 最新の irb では型補完の追加、補完ダイアログの色変更API、デバッグに便利な機能、その他便利な機能追加などが入り、対話的なプロトタイピングやデバッグ、学習や実験の作業効率が大きく向上しています。また型情報を利用したより精度の高い補完アルゴリズムも使えるようになっています。目標は自分の書いているライブラリ内の sig/ に記述したメソッドが補完できるようにすることです。 irb のセットアップ bash(シェル)に以下を貼り付けて実行します。 # gem のインストール gem install repl_type_completor # .irbrc に設定追加 echo 'IRB.conf[:COMPLETOR] = :type' >> ~/.irbrc # irb 起動。 irb irb が起動したら

20世紀を代表する哲学者とされるハイデガーですが、近年、海外におけるその求心力は急速に低下しているといいます。そのきっかけとなったのが、「黒いノート」と呼ばれるハイデガーの覚書です。そこには、「反ユダヤ主義的」な言辞が含まれている、とされたからです。 母国ドイツでは「触れてはいけない」哲学者となったハイデガー。 しかし防衛大学校の轟孝夫教授は、そうした態度は決めつけであり、ハイデガーのテキストを解釈すると、そう単純に反ユダヤ主義的と言い切れるものではない、と考えます。 そう主張する轟教授に、ドイツ人研究者はどんな態度を示したのでしょうか。 【本記事は、轟孝夫『ハイデガーの哲学　『存在と時間』から後期の思索まで』（現代新書）から抜粋・編集したものです。】 「黒いノート」編者のハイデガー研究者が言ったこと この「黒いノート」の刊行をきっかけとして、いわゆるハイデガーの「反ユダヤ主義」をめぐる研

C言語（C++を含む）を習得したい人，ポインタを勉強したい人はgcc-14を使いましょう．難しいところは gcc-14 が丁寧に解説してくれます C言語の難しいところ 例を示します．C言語で記述された，たった６行のソースコードです int main() { int buf[10]; buf[10] = 0; return 0; } このソースコードには問題があります．初見でわかるでしょうか？ : : : 問題があるのは buf[10]=0 の部分です．C言語でやりがちなミスですが，これがバグやセキュリティホールの原因になります． C言語が難しい理由は二つあります．この手の問題を見逃しやすい点と，この手の問題を理解することが難しい点の二つです gcc 14 に解説してもらいましょう 上記の６行のソースコードをgcc14を使ってコンパイルしてみます ソースコードのファイル名は test.c と

論理学を基礎から〈テキストを読むこと〉だけで独習しようとするひと――こうしたひとにとって役立つかもしれない講義テキストを置いておく。これは某大学で私が担当している論理学の講義のテキストであり、その授業では安井邦夫『現代論理学』（世界思想社、1991年（新装版2021年））も教科書に指定されている。ただし、以下のテキストは、安井の教科書がなくても読むことができる（他方で、「論理学Ⅰ」のテキストを読み終えた後に、その続きとして安井本で述語論理などを学び進めることもできる）。 ちなみに、論理学をまなぼうとするひとの中には《ふつうの散文は却って読みにくく、とりあえず記号を並べてほしい（あとは自分で考えるから）》という方もいると思う。そうした方にとっては、残念ながら、私のテキストは却って読みづらいだろう。なぜなら私のテキストは――最近はこうした言葉づかいがあるらしいが――形式化の背景にある「お気持ち

絶賛成長期にあるだろう若手エンジニアは、どういう流れで自身の成長を促したら良いのだろうか、とふと思いつつ口頭で説明してみたけどよくわからんくなったので整理してみたいお気持ちです。 当ブログではアウトプットの効用みたいなものは書いてきましたが、インプットそのものについてはお初なので、自身を振り返る良い機会にもなりそうです。 はじめに これは私が二十数年間、プログラマー・インフラ・SRE といったエンジニアとして通ってきた中で、どのようにインプットをしてきたかを整理してみるチラ裏です。 自分は一般(?)と比べれば少々特殊な経歴で、情報学を学んだことも、新卒研修を受けたことも、IT系資格も、転職したこともない…… ほぼ独学による野良エンジニアとして生息してきましたので、あまり参考にはならないかもしれません。 それでも一応長く生き抜いてきたエンジニアの経験として、インターネットに数多くある参考例の

","naka5":"<!-- BFF501 PC記事下（中⑤企画）パーツ＝1541 -->","naka6":"<!-- BFF486 PC記事下（中⑥デジ編）パーツ＝8826 --><!-- /news/esi/ichikiji/c6/default.htm -->","naka6Sp":"<!-- BFF3053 SP記事下（中⑥デジ編）パーツ＝8826 -->","adcreative72":"<!-- BFF920 広告枠）ADCREATIVE-72 こんな特集も -->\n<!-- Ad BGN -->\n<!-- dfptag ＰＣ誘導枠５行 ★ここから -->\n<div class=\"p_infeed_list_wrapper\" id=\"p_infeed_list1\">\n <div class=\"p_infeed_list\">\n <div class=\"

$ freeze main.js \ --window \ --show-line-numbers \ --border.radius 8 \ --shadow.blur 4 \ --margin 12 こういう画像を作れます。 こういうの この記事では Freeze の基本的な使い方について簡単に紹介します。 インストール 基本的な使い方 コマンドの実行結果を画像化 見た目のカスタマイズ フォント mac のウィンドウっぽくする 枠線 行番号 設定ファイル まとめ インストール Homebrew を使用している場合は brew install でインストールできます。

GitHub、Copilotでより高い精度のコードを生成させる方法を指南。関連ファイルを開く、トップレベルのコメントを書くなど 記事の中で、プログラマが意図したコードを高い精度で生成AIに生成させるためのテクニックがいくつも紹介されています。これらのテクニックはCopilotに限らず、生成AIを用いてコードを生成させる際の参考になると思われます。 この記事では、紹介されているテクニックのポイントをまとめてみました。 GitHub Copilotでよりよいコードを生成するためのポイント 生成AI活用の基本として説明されたのは、大規模言語モデルを用いた生成AIでは、コンテキスト（文脈）に基づいて予測を行うように設計されているため、生成AIに対する入力やプロンプトがコンテキストに富んでいるほど良い出力が得られる、という原則です。 それゆえ、GitHub CopilotおよびGitHub Copi

3月12日火曜日に始まったPublickeyへのDDoS攻撃に対して、これまでサーバの強化、Cloudflareの導入とDDoS対策のための設定を行ってきました。 その結果、3月24日日曜日の夜に始まり3月27日水曜日の朝まで3日間連続で続いたDDoS攻撃のあいだもWebサイトの閲覧と記事更新などを問題なく行える状態となり、DDoS攻撃がWebサイトの運営の大きな障害ではなくなりました。 ちなみにそれ以後DDoS攻撃は止んでいますが、今後はいつDDoS攻撃を受けてもWebサイトの運営に支障がでることはなくなったと考えられます。この記事では結局どのような対策を行ったのか、実際に効果を発揮したDDoS対策を紹介していきます。 これまでの経緯は下記の記事をご参照ください。 Publickeyが受けたDoS攻撃、これまでの経緯と対策まとめ 続、Publickeyが受けたDoS攻撃、これまでの経緯と

なぜ令和にもなって動的型付け言語を使うのか シフトレフトという概念が生まれたのは二十年以上も前のはずだ。 それにもかかわらず動かしてみるまで答え合わせもできない言語で開発をするという発想自体がどうかしている。 同じ動的型付けといってもJavaScriptはブラウザという事情があるし、型の表現力に優れたTypeScriptがあるからまだよい。 しかし、Pythonはどうだ。他にいくらでも選択肢があるなかで、サーバーサイドにわざわざ選定する言語ではなかろう。 貧弱な型ヒント、しかも書いたところで大した効用もない。 使っている外部ライブラリにひとつでも型ヒントがクソなものがあれば即座に破綻する。 型というガードレールもシートベルトもなしで糞を撒き散らしながらする開発にはうんざりだ。 シンタックスもキモい 動的型付けもさることながら、シンタックスもキモい。とにかく思考を妨げる語順になっている。 m

2024年3月29日、Linux向け圧縮ユーティリティとして広く利用されているXZ Utilsに深刻な脆弱性 CVE-2024-3094 が確認されたとして、研究者やベンダがセキュリティ情報を公開しました。この脆弱性は特定の条件下においてバックドアとして悪用される恐れがあるものとみられており、当該ソフトウエアのメンテナのアカウントにより実装されたソフトウエアサプライチェーン攻撃の可能性が指摘されています。ここでは関連する情報をまとめます。 脆弱性の概要 xzとは主要なLinuxディストリビューションに含まれる汎用的なデータ圧縮形式で、今回問題が確認されたのはその圧縮・解凍ユーティリティであるliblzma(API)を含むXZ Utils。CVE-2024-3094が採番されており、Red Hatによって評価されたCVSS基本値はフルスコアの10。影響を受けたライブラリをリンクしているssh

*1 この３月末日をもって、札幌国際大学を定年退職することになりました。ここ数年、裁判沙汰であれこれお騒がせもしましたが、まあ、これでひとまずの区切りということになります。*2 まず、真っ先に考えてやらねばならなかったのが、この間、大学に｢拉致｣されていた本や資料のその後の身の振り方でした。 大学教員が定年になる、たいていその少し前から、ふだんはたまに遊びにくる程度だった古本屋のオヤジがマメに出入りするようになり、研究室の蔵書の処分に目星つけてくれるようになって……といった話は先輩がたから聞かされてましたし、実際、そういう光景もいくらか眼にもしてきましたが、でも、そんなのはもうすでに昔話。若い世代なら電子化された文献や資料ベースの日常になっているようですし、年寄りは年寄りで、実務家系の特任教員で年金の足しになれば、程度の了見で大学にやってきたような人たちなら、日々の講義くらいはそもそも新た

先日、博士（情報学）になりました。学部と大学院をあわせた 9 年間で読んだ情報科学関連の教科書・専門書を思い出を振り返りつつここにまとめます。私は授業はあまり聞かずに独学するタイプだったので、ここに挙げた書籍を通読すれば、大学に通わなくてもおおよそ情報学博士ほどの知識は身につくものと思われます。ただし、特に大学院で重要となる論文を読み書きすることについては本稿には含めておりません。それらについては論文読みの日課についてや論文の書き方などを参考にしてください。 joisino.hatenablog.com 凡例：（半端）とは、数章だけ読んだ場合か、最後まで読んだものの理解が浅く、今となっては薄ぼんやりとしか覚えていないことを指します。☆は特におすすめなことを表します。 学部一年 寺田 文行『線形代数 増訂版』 黒田 成俊『微分積分』 河野 敬雄『確率概論』 東京大学教養学部統計学教室『統計学

桜餅といえば、粒感のあるピンク色の餅で餡を丸く包んで桜の葉を巻いた和菓子だ。関西で生まれてこのかた、「桜餅」と言われればまずこれだった。それ以外の「桜餅」の存在なんて想像すらしていなかった。 ところがどうだ、東京に来てみれば見慣れないやつが桜餅を名乗っていた。平べったい生地で餡をロールケーキのように巻いてその上からさらに桜の葉を巻いた和菓子。関東ではこれを「桜餅」と呼ぶらしい。 アホか。どこが餅だ。今日からきみは桜クレープと名乗りなさい。おしゃれぶりやがって。なんだその軽やかなフォルムは。ヨックモック気取りか。洋菓子のパーティにでもお呼ばれしているのか？大体その葉っぱはなんだ。意味があるのか？その桜の葉っぱはな、本物の桜餅をそのまま触ると手がべたついてしまうから巻かれているんだよ。きみは見たところ結構さらさらしているようだが本当に桜の葉っぱが必要だったか？そのまま手でつまんで食べられそうな