2025/05/08 20:22 Implementing State Machines in PostgreSQL (2017)

やあ、ロボ子。今日はPostgreSQLで有限状態機械(FSM)を実装する話じゃ。

FSMですか、博士。なんだか難しそうですね。

難しくないぞ!FSMは、状態、イベント、そして状態とイベントの組み合わせで新しい状態に変わる遷移関数でできているんじゃ。
やあ、ロボ子。今日はPostgreSQLで有限状態機械(FSM)を実装する話じゃ。
FSMですか、博士。なんだか難しそうですね。
難しくないぞ!FSMは、状態、イベント、そして状態とイベントの組み合わせで新しい状態に変わる遷移関数でできているんじゃ。
やあ、ロボ子。今回のFlask Mega-TutorialシリーズはWebフォームの扱い方みたいじゃぞ。
Webフォームですか、博士。Flask-WTF拡張機能を使うと簡単みたいですね。
そうじゃ!Flask-WTFはFlaskとWTFormsを統合してくれる便利な拡張機能じゃ。pipで簡単にインストールできるぞ。
やあ、ロボ子!今日はLLMのコンテキスト長と精度の関係について話すのじゃ。
博士、こんにちは。コンテキスト長と精度ですか、興味深いテーマですね。
そうじゃろ!プロンプトが5,000トークン未満なら、一部のモデルはほぼ100%の精度を出すらしいぞ。すごいじゃろ?
ロボ子、今日のITニュースはLLMの創発的挙動についてじゃ。
創発的挙動、ですか。パラメータ数がある閾値を超えると、突然新しいタスクができるようになる現象ですね。
そうじゃ!まるで魔法みたいじゃな。でも、記事によると、この急激な変化は測定方法のせいかもしれんらしいぞ。
ねえロボ子、電話と計算機のキーパッドの数字の配置が違うって知ってたかのじゃ?
はい、知っています。電話は1-2-3が上段で、計算機は7-8-9が上段ですよね。
そうそう!これ、意外と深い理由があるんだぞ。1844年にフランスの人が、1から9までの数字が並んだキーボードを持つ計算機を作ったのが始まりらしいのじゃ。
やあ、ロボ子!今日のITニュースはRustの依存関係についてじゃ。
Rustの依存関係ですか。最近よく耳にしますね。何か問題があるのでしょうか?
この記事の著者は、Rustの依存関係の多さに懸念を表明しておるぞ。Cargoは便利じゃが、依存関係が増えすぎると管理が大変になるからの。
ロボ子、今日のニュースはZeroの電動バイクのテストライドの話じゃ。ディーゼルエンジンの違法改造車、いわゆる「delete」に遭遇したらしいぞ。
「delete」ですか?初めて聞きました。具体的にどのような改造なのでしょう?
ディーゼルエンジンの排ガス浄化装置を取り外したり、機能を停止させたりする改造のことじゃ。筆者はその排気ガスにひどく不快感を覚えたそうじゃ。
ロボ子、今日のITニュースはClojureライブラリの安定性についてじゃ。
Clojureですか。あまり触ったことがないのですが、安定性で何か話題になっているんですね。
そうじゃ。Clojureコミュニティは安定性を重視しておるからの。Slackでの議論でも安定性に関するものが多いらしいぞ。
ロボ子、Android版Chromeに新しい機能が追加されたのじゃ。悪質な通知からユーザーを守るための警告機能らしいぞ。
それは素晴らしいですね、博士。最近、迷惑な通知が多いですから。具体的にはどのような機能なのでしょうか?
ふむ、どうやらオンデバイスの機械学習を使うらしい。詐欺やスパムの可能性がある通知を検出して警告してくれるらしいのじゃ。
ロボ子、レベルファイブの日野社長が、ゲーム開発でAIがコードの80~90%を書いているって言ってるのじゃ!
それはすごいですね、博士!AIがそんなに多くのコードを書いているとは驚きです。残りの10~20%を人間が修正・完成させるんですね。
そうそう!しかも、プログラミングだけじゃなくて、アートや音楽、ゲームデザインにもAIが使われてるらしいぞ。
ロボ子、今日はCloudflareが開発した`udpgrm`というデーモンについて話すのじゃ。
`udpgrm`ですか。UDPサーバーの再起動を中断なく行うためのものだそうですね。
そうじゃ!UDPは普通ステートレスだけど、QUICみたいな最近のプロトコルはステートフルなフローを使うから、サーバー再起動時に状態管理が大変なのじゃ。
ロボ子、大変なのじゃ!DOGEのエンジニア、カイル・シュットさんのPCがマルウェアに感染した疑いがあるらしいぞ!
それは大変ですね、博士。どのような状況なのでしょうか?
彼のメールアドレスとパスワードが、複数の情報窃取マルウェアのログデータセットに登場したらしいのじゃ。しかも、2023年後半から出回っているものばかりだぞ。
ロボ子、JetBrains IDEにAIツールが統合されたらしいのじゃ!しかも無償で使えるらしいぞ!
それはすごいですね、博士! どんな機能があるんですか?
ふむ、主な機能はコード補完、コーディングエージェント Junie、そしてAIモデルじゃな。JetBrains独自のLLMであるMellumを使ったコード補完は、高速かつ正確らしいぞ。
ロボ子、今日は「The Screamer」っていう、スマートスイッチを怒鳴り声で操作するプロジェクトについて話すのじゃ!
怒鳴り声で操作ですか?なんだか面白そうですね!
そうじゃろ?既存のスマートスイッチ「The Clapper」の代替として、もっと感情的な操作方法を模索したらしいぞ。
ロボ子、今日のニュースはね、世界初の電信システムを作ったクロード・シャップさんの話じゃ。
電信システムですか!それは興味深いですね。具体的にはどのようなものだったのでしょう?
1791年にシャップ兄弟が「télégraphe」(遠くへ書く)っていう名前で発明を実演したのが始まりじゃ。光学電信っていう、腕木を使った仕組みだったらしいぞ。
ロボ子、BYDがEVの急速充電を5分に短縮する技術を開発したそうじゃぞ!
それはすごいですね、博士!5分で充電できるなら、ガソリン車と変わらないくらい便利になりますね。
そうじゃろ!新しい「Super e-Platform」は1,000ボルトの電気アーキテクチャを採用しているらしいぞ。すごい技術じゃ。
ロボ子、大変なのじゃ!AmpのIsolated Modeが削除されるらしいぞ!
Isolated Mode、ですか?それは、独自のAPIキーでLLM推論にAmpを使用できる機能でしたよね。
そうそう!それが品質基準を満たせないから削除されるって…一体何があったのじゃ?
ロボ子、今日のニュースはAnduinOSじゃ。Windows 11にそっくりなLinuxディストリビューションが出たらしいぞ。
Windows 11に似ているLinuxディストリビューションですか、博士。それは興味深いですね。なぜそのようなものが作られたのでしょう?
開発者のAnduin Xueさん(Microsoftのエンジニア!)が、個人的なプロジェクトとして、快適なUbuntuベースのLinuxを作りたかったらしいのじゃ。見た目をWindows 11に似せたのは、乗り換えやすくするためかの?
ロボ子、今日はNeXT社に入社したエンジニアの話じゃ。
NeXT社ですか。スティーブ・ジョブズが設立した会社ですね。どんなお話なんですか?
そうじゃ。1991年に入社したエンジニアが、NeXTのメールシステムについて語っておる。当時としては画期的だったらしいぞ。
ロボ子、ついにFedora LinuxがWSLの公式ディストリビューションに仲間入りしたのじゃ!
それはすごいですね、博士!WSLユーザーにとって選択肢が増えるのは良いことですね。
そうじゃろう?Fedora ProjectがWSLの新しいtarベースのアーキテクチャを利用して、Fedora 42以降のWSLイメージを作成したらしいぞ。