テレビアニメ『とある科学の超電磁砲』第4期が制作されることが決定した。あわせて特報映像が公開された。また、同じく『とある』シリーズのスピンオフ作品『とある暗部の少女共棲』のテレビアニメ化も決定し、『超電磁砲』含め『とある』シリーズの新作アニメが2本制作されることになった。

こんにちは！ PHPStanを活用していらっしゃいますでしょうか。 PHPStanは今日では言わずと知れた静的解析ツールですが、プラグイン機構を備えており、型付けのためのさまざまな機能を提供しています。PHPStanはできるだけコードを書かずPHPDocによる記述だけで多くのケースには型をつけられるようになっていますが、残念ながら本稿執筆時点のPHPStan 1.10系ではPHPDocだけですべてのニーズを満たすことはできないため、より深くPHPStanを利用するにはプラグインの理解が必要になります。 プラグイン機構は外部パッケージによる拡張だけでなく、PHPStan本体に組み込まれている標準関数への型付けなどにも使われています。つまり、PHPStanがどのような原理で解析対象のコードに型をつけているのかを知るにはプラグインAPIへの理解が必要になります。本稿ではPHPStanの拡張API

はじめに こんにちは。サーバーサイドエンジニアの佐野きよ(@Kiyo_Karl2)です。 PHPでは、declare(strict_types=1);をファイルの先頭に記述することで厳密な型チェックを有効にすることができます。これにより暗黙の型変換がされなくなり、関数やメソッドの引数および戻り値の型宣言に正確に対応する値のみ受け入れることができるようになるため、より堅牢なコードになります。しかし、この記述はファイルごとに記述しなければいけないため、うっかりこの記述が抜けてしまいコードレビューで同様の指摘が度々ありました。 そこで、コードレビューで人間が指摘するのではなく、PHPStanに指摘してもらうようにしようと考えたのですが、厳密モードをチェックするルールはデフォルトでPHPStanには無さそうだったので、Custom Ruleを用いてファイルの先頭に厳密モードの記述があるかを簡単にチ

先日、第 17 回 PostgreSQL アンカンファレンス@オンライン の中で、うっかり 「MySQL ではパーティショニングで速くなるケースが思ったよりも少ないんですよね」 的なことを口走ったところ、 ポスグレよりはマシだと思ってました（笑） — 明治㌠から㍽㍼㍻経て令和 (@meijik) September 24, 2020 プロの方に見つかってしまいました（笑…いや怖い）。 実際のところ、自分で使っていても（DELETEよりパーティションのDROPが速いとか）限られたケース以外で高速化した実感がないのですが、恐る恐るあらためて実験してみました。 【注】 今回は更新性能については触れません（特定の条件でパーティショニングを使うと更新処理が速くなることは確認済みです）。 実験内容 MySQL 8.0.21 on Windows を使用 RANGEパーティショニングで、区分キー（パーテ

はじめに 2025年2月3日（月）、東京大学の学生対象にOpenAI本社の経営幹部と対話できる限定イベントが開催されました。 当日は事前告知なくOpenAI CEOの「サム・アルトマン」が登場して会場がざわつきました...！ 非常に面白い質疑応答だったので、その内容についてまとめて紹介します。 質問とその回答に加えて、一部内容を補足や解説を加えて記載していきます。 ※ 東大の学生にはOpenAIのイベントがあって、本社の経営幹部と話せるという告知がありましたが、サムアルトマン氏が来ることは知らされておらず、当日かなり驚きました。 イベントは、30名程度の限定募集で運よく参加できたのですが、運よく参加することができましたので皆さんにも学びと体験をシェアします。 本編の構成 １｜生成AI時代に人間にとって重要なスキル ２｜OpenAIの開発の方向性について ３｜今からスタートアップを始める時の