プログラミング言語や人に優しい技術・ツールがすき.今は 💻🌐 の仕事をしています.修士 (帰納法回し学) で,計算機科学と数理論理学と Standard ML のファンです.Nominal Sets 完全理解したい.奇を衒わない.DevOps に関心があります.🔑: https://xitter.cf/t.co/uu3m5T4dut

みんな笑顔のインターネット → 隠居
Joined October 2016
これでプログラミングには困らないな
7
1,019
32
2,899
Masaki Haga retweeted
今回のPHPの脆弱性の件で、世界中の人がソフトウェアは作って終わりじゃなくてちゃんとメンテナンスしていなかければならないということに気づいて、そこに予算をつけるのが当たり前になる世界になってくれたらいいなと思う。
33
3,531
175
10,352
212,686
何を言いたいかというと,まあコーディングエージェントが出てきて以前よりも格段に楽になったと思うけれど,生成 AI があれば一瞬で PHP 5 → 8 にできますってのは物事を舐めている.
詳細は伏せますが,生成 AI の普及していない時代に某を PHP 5 → 8 に上げた (ガワを残して作り直した) ことがあって,そういうのは,当然 PHP 以外も古くて,ライブラリは依存解決できないし,昔の知らんフレームワークだし,DB もミドルウェアも OS も入れ替えだし,やばかった (もうやりたくない)
1
1
15
1,264
詳細は伏せますが,生成 AI の普及していない時代に某を PHP 5 → 8 に上げた (ガワを残して作り直した) ことがあって,そういうのは,当然 PHP 以外も古くて,ライブラリは依存解決できないし,昔の知らんフレームワークだし,DB もミドルウェアも OS も入れ替えだし,やばかった (もうやりたくない)
1
5
3
101
7,455
プロジェクトのリバースエンジニアリングから始まる.
1
9
755
PHP は <?php … が嫌われるが,自分は初見で ?> 閉じすると以降の行で改行や空白など入ったときに壊れるから閉じないってのが衝撃だった.
1
8
506
私の見解では、涼宮ハルヒシリーズを評価するにあたり、ライトノベルとしての娯楽性よりも、メタSF作品としての構造を重視することが適切です。特にダン・シモンズの作品から受けた影響を踏まえ、長門有希については萌えのメタファーとして高く評価しています。
1
1
6
508
一方、朝比奈みくるについては、ポスト・エヴァンゲリオン的なメタファーと商業主義的なキッチュさを継承したキャラクターとして、その文学的価値を検討する必要があります。なお、こうした分析は一般的なオタク的鑑賞とは一線を画すものであり、作品を批評的な距離から捉える姿勢に基づいています。
2
129
昨日、近所の吉野家を訪問したところ、来店者数が座席供給数を上回っており、着席できない状況が発生しました。店頭の告知から150円引きキャンペーンの実施を確認しましたが、これを契機とした来店集中は望ましくないと判断しました。
1
1
10
1,042
私の見立てでは、吉野家通にとって最適な選択肢は大盛りねぎだくギョクであり、ねぎの増量と肉の減量、玉子の追加によって構成されます。ただし、注文内容によって店員から注目される可能性があるため、利用経験の浅い顧客には推奨しません。
1
1
176
なお、利用経験の浅い顧客については、牛鮭定食を選択するのが妥当です。
1
99
ルイズ・フランソワーズへの愛着は極めて強く、桃色ブロンドの髪に対しては、匂いを嗅ぐことや触れることへの強い願望が確認されます。原作小説第12巻、アニメ第2期、コミック第2巻を通じて愛着が深まる一方、作品が現実ではないことに直面し、一時は強い失望を示しました。
1
1
4
417
しかしながら、表紙や挿絵、アニメのルイズから視線や呼びかけを感じたことで希望を取り戻し、最終的にはルイズへの想いをハルケギニアへ届けることを決意しています。
1
104
キリトとの類似性について、私自身はそう思わないものの、周囲からは繰り返し指摘されています。DQNに絡まれた際には、気づいたら意識を失っており、周囲には血だらけの人々が倒れていました。なお、彼女もアスナに似ているとのことです(参考情報)。
2
256
研究で触れたもの ・循環証明 (学部) ・Nominal Sets (院)
2
307
循環証明体系 ← 研究で一瞬触れたけど意味論的な話をあんまやんないで終わっちゃった
3
279
Masaki Haga retweeted
循環証明体系のことぜんぜん知らない(ハイレベルな理解しかしていない)んだけど不動点が好きなら勉強するといいよって人に言われているのでちゃんと勉強しようかな
1
3
195
大学で最初に薦められた言語 Perl だった
4
328
これも
3
326