Python版の「LangChain」のクイックスタートガイドをまとめました。 ・langchain 0.1.16 1. LangChain「LangChain」は、「大規模言語モデル」 (LLM : Large language models) と連携するアプリの開発を支援するライブラリです。 「LLM」という革新的テクノロジーによって、開発者は今まで不可能だったことが可能になりました。しかし、「LLM」を単独で使用するだけでは、真に強力なアプリケーションを作成するのに不十分です。真の力は、それを他の 計算 や 知識 と組み合わせた時にもたらされます。「LangChain」は、そのようなアプリケーションの開発をサポートします。 主な用途は、次の3つになります。 ・文書に関する質問応答 ・チャットボット ・エージェント v0.1 ではlangchainパッケージが次の3つのパッケージに分割

フジテレビは16日、都内の本社で定例社長会見を行い、日本テレビ系ドラマ「セクシー田中さん」の原作者で漫画家芦原妃名子さんの死去について言及した。 【写真】「海猿」主演伊藤英明が「佐藤先生に頂いた原画」いったい誰が… 「東京ラブストーリー」など多数のヒット作を手がけた大多亮専務取締役（65）は、「フジテレビも多数のコミックや小説を映像化しています。肝心なのは、原作者、出版社、脚本家の信頼関係にあると思っています。原作へのリスペクトは最大限、持たなければなりません。ドラマならではの魅力を引き出したいと思うことは制作サイドが思うことはあります。脚色していくわけですから、原作者への理解も当然必要になります。原作者の方のイメージと違うこともありますし、原作者の方が感心するような脚本や演出も中にはございます。お互いがWIN－WINの関係であれば幸せになりますけど、全てがそうでないこともあるかと思います

ソフトバンクグループ創業者の孫正義氏は、エヌビディアに対抗して人工知能（ＡＩ）に不可欠な半導体を供給するベンチャーを立ち上げるため、最大1000億ドル（約15兆円）の資金を考えている。事情に詳しい関係者が明らかにした。 このプロジェクトは「イザナギ」というコードネームで呼ばれ、ソフトバンクＧがスタートアップへの投資を大幅に抑制する中、孫氏の次なる大きな試みとなる。 ソフトバンクＧビジョンファンド、「恐る恐る」の投資へ－派手さ陰る 孫氏は、ソフトバンクＧ傘下の英半導体設計会社アーム・ホールディングスを補完するような会社を構想しているという。非公開情報であることを理由に関係者は匿名で語った。１人の関係者によると、現在検討されている一案は、ソフトバンクＧが300億ドルを出し、中東の投資家などから700億ドルを調達するというもの。 成功すれば、この半導体プロジェクトは対話型ＡＩ「ChatGPT（チ

農林水産省 @MAFF_JAPAN ＼ 時短！ ゆで卵を茹でずに作る方法 ／ お湯を沸かして卵を茹でなくても、少量の水で4分蒸すだけで、おいしい #ゆで卵 ができます！ 黄身のかたさは、火を止めた後の蒸らし時間で調整。 使用する水の量が少ない⇒お湯を沸かす時間が省ける⇒ 結果、短時間で調理できます！ #時短 pic.twitter.com/t6jO0ORHjz

Cloudflareの活動を調査していると、インターネットの様々な脆弱性やDDoS攻撃の話題がでてきて、掘れば掘るほどに、その陰で労を惜しまない姿が見えてきてしまいます。パブリックDNSリゾルバー「1.1.1.1」にも何かあるようです。その事情を調べてみました。 極度に汚染されていた1.1.1.1 CloudflareからパブリックDNSサービスに提供される「1.1.1.1」 は 非常に覚えやすい 。インターネット利用者のためとはいえ、こんな素晴らしいIPアドレスをCloudflareが使っちゃっていいの？そんな疑問がありました。よくよく調べると、歴史を変えてきた ネットワークエンジニア の地道な努力が見えてきました。 汚染された1/8 「1/8」とは、IPアドレスの表記方法で「1.0.0.0/8」というネットワークを表します。具体的なIPアドレス範囲は、「1.0.0.0～1.255.25

OpenAIは2月15日（現地時間）、テキストから最大1分間の動画を生成できる動画生成AIモデル「Sora」を大量のデモ動画と共に発表した。複数のキャラクター、特定の種類の動き、被写体と背景の正確な詳細を含む複雑なシーンを生成することができるという。 プロンプトから破綻のない動画を生成 Introducing Sora, our text-to-video model. Sora can create videos of up to 60 seconds featuring highly detailed scenes, complex camera motion, and multiple characters with vibrant emotions. https://t.co/7j2JN27M3W Prompt: “Beautiful, snowy… pic.twitter.com

哲学など数学以外のことは専門外のため, あくまで数学に関することだけ言及させていただきます. ユークリッド幾何学に言及されているように数学の歴史は紀元前まで遡りますが, 数学の形式化が意識され始めたのは1900年代以降と最近の話です. 主にヒルベルトによって主導されたものだと私は理解しています. (もちろん多くの数学者がこのプログラムに関わってきました. ) 数学の形式化や形式主義で調べると参考になると思います. 数学的な内容に関して言及したいことは多くありますが, かいつまんで述べさせていただきます. (あくまでこれは元の記事が間違っているなどと主張しているわけではないです. 現代の数学の考え方や雰囲気の一部を分かっていただければ幸いです. ) 現代の形式化された数学は原理的には決められたルール(公理と推論規則)を用いて行われる一連の手続きです. それらの「意味」が何かは一旦全て忘れてく