人気のタグ：
仮想化 DNSセキュリティ 形式的検証 到達可能性解析 C言語 コンパイラエラー マクロの衝突 Web拡張機能 開発フレームワーク コモドール64 すべてのタグ

Dart/Flutterの脆弱なPRNGに起因するセキュリティ脆弱性

2024-12-13
Dart/Flutterの脆弱なPRNGに起因するセキュリティ脆弱性

Zellicの調査により、Dart/Flutterの脆弱な疑似乱数生成器（PRNG）に起因する複数のセキュリティ脆弱性が明らかになりました。Dart SDK内の`Random()`関数の初期化方法に欠陥があり、生成されたキーのエントロピーが不十分になり、ブルートフォース攻撃に対して脆弱になりました。これにより、攻撃者はDart Tooling Daemonに容易にアクセスし、ワークスペースファイルの読み書き、さらには任意のコードの実行が可能になります。さらに、Proton WalletとSelfPrivacyプロジェクトもこの脆弱なPRNGの影響を受け、暗号化の脆弱性と予測可能なパスワードの問題が発生しました。脆弱性は修正されましたが、開発者は`Random()`関数の使用に注意し、暗号学的に安全な乱数が必要な場合は`Random.secure()`を使用することを強く推奨します。

続きを読む
(www.zellic.io)
開発

メソポタミアで発見された3500年前のデータテーブル

2024-12-21

ブログ記事では、古代メソポタミア（紀元前3600～4000年頃）で発見された、驚くほど整理されたデータテーブルを含む粘土板について詳細に説明しています。楔形文字で書かれたテキストは、翻訳・転写されており、建設プロジェクトの給与明細書に似ています。この粘土板は、行、列、列見出し、計算の使用を示しており、現代のスプレッドシートと驚くほど似ています。この発見により、データテーブルの使用に関する既知の歴史が3500年以上さかのぼることになります。著者は、文明の進歩は線形ではないと主張しており、発明は失われたり、再発明されたりします。今日のデジタルスプレッドシートは消滅する可能性がありますが、このような古代のデータテーブルは生き残る可能性があります。

続きを読む
(www.datafix.com.au)
その他 データテーブル メソポタミア

ケンタッキー州警察、誤った家宅捜索で無実の男性を射殺

2025-01-06
ケンタッキー州警察、誤った家宅捜索で無実の男性を射殺

ケンタッキー州の警察官が、間違った家への家宅捜索で63歳のダグラス・ハーレス氏を射殺しました。ディスパッチャーが正しい住所を少なくとも5回伝えたにもかかわらず、警察官は目的地の489ヴァンザントロードではなく、511ヴァンザントロードの家を襲撃し、ハーレス氏の死亡につながりました。警察はハーレス氏が武器を振り回したと主張していますが、この事件は警察の手続き、捜索前の監視不足に関する深刻な疑問を提起しており、ブリオナ・テイラー事件を想起させ、警察の残虐行為に対する懸念を新たに高めています。

続きを読む
(atlantablackstar.com)
その他 警察の残虐行為 不当な死亡 警察の不正行為

効率的なPythonスクリプティングのためのShebangに`uv`を使用する

2025-01-28
効率的なPythonスクリプティングのためのShebangに`uv`を使用する

Rob Allenは、PythonスクリプトのShebang行に`#!/usr/bin/env -S uv run --script`を使用する経験を共有しています。この方法では、`uv`ツールを利用してスクリプトの依存関係を管理することで、仮想環境などを設定することなく、コマンドラインから直接Pythonスクリプトを実行できます。これにより、スクリプトの使いやすさと実行可能性が向上します。著者は、~/binディレクトリに多くの自動化スクリプトを作成し、この方法で実行を簡素化しています。

続きを読む
(akrabat.com)
開発

Apple iOS 18の準同型暗号：プライバシーを重視した検索

2025-01-15

AppleのiOS 18は、準同型暗号を使用して写真検索機能を強化し、ユーザーの写真の内容を明らかにすることなくクラウドベースの検索を可能にしています。この記事では、準同型暗号の基本原理、つまり暗号化されたデータで計算を行い、復号した結果が暗号化されていないデータで同じ計算を行った結果と一致するという点を説明しています。Appleの実装は完全な準同型暗号ではなく、プライバシーをある程度犠牲にしてパフォーマンスを向上させており、差分プライバシーと匿名ネットワークなどの技術と組み合わせてプライバシー保護を強化しています。完璧ではありませんが、プライバシーと使いやすさのバランスを取る上で重要な一歩を示しています。

続きを読む
(boehs.org)
テクノロジー 準同型暗号

25年後：Mac OS X Dockの知られざる物語

2025-01-06
25年後：Mac OS X Dockの知られざる物語

この記事は、Mac OS X Dockの初期エンジニアであるJames Thomson氏の体験談です。アイルランドのAppleでDockの開発に携わった期間、初期デザイン、Steve Jobsとの交流、そしてApple退社の経緯を詳細に記しています。プロジェクトの極秘性、Jobs氏によるエンジニアの勤務地への厳しい要求、開発中の課題と成功など、緊張感と謎に満ちた物語です。Mac OS Xの重要な要素の誕生と、ソフトウェアエンジニアのキャリアの軌跡を垣間見ることができる、興味深い内容となっています。

続きを読む
(tla.systems)
開発

物理学の新たなフロンティア：熱力学を超えて

2024-12-22
物理学の新たなフロンティア：熱力学を超えて

この記事では、物理学における熱力学の重要性とその限界を探っています。著者は、統計力学が熱力学の微視的な理解を提供する一方で、より一般的な原理を隠している可能性があると主張しています。非平衡熱力学や自己組織化システムなど、巨視的で経験的な観察に焦点を当てるよう呼びかけており、これらの分野には新しい物理法則が含まれており、蒸気機関の改良から熱力学が生まれたように、実際的な問題の解決につながる可能性があると示唆しています。

続きを読む
(scottlocklin.wordpress.com)
テクノロジー 非平衡熱力学 自己組織化システム

MicrosoftのSeeing AIアプリからAIモデルを抽出

2025-01-05
MicrosoftのSeeing AIアプリからAIモデルを抽出

セキュリティ研究者のAltay Akkusは、MicrosoftのSeeing AIアプリから通貨認識AIモデルを抽出することに成功しました。このアプリはTensorFlow Liteフレームワークを使用しており、モデルはAPKファイル内に暗号化されて保存されています。AltayはFridaフレームワークを使用して、TensorFlow Liteのモデルロード関数をフックするコードを動的に挿入し、復号化されたモデルファイルをダンプすることに成功しました。これは、一見安全に見えるアプリでも、AIモデルの抽出に対して脆弱であることを示しており、モバイルAIモデルのセキュリティの重要性を強調しています。

続きを読む
(altayakkus.substack.com)
テクノロジー モバイルセキュリティ

PrivTracker：ワンクリックでプライベートBitTorrentトラッカーを作成

2025-01-11

PrivTrackerを使用すると、ワンクリックでプライベートBitTorrentトラッカーを作成できます。 トレントファイルを友人とだけ安全に共有できます。公開されることはありません。独自のアナウンスURLを使用して、ピアの共有がグループのみに制限されます。LinuxとmacOSでTransmissionを使用するための簡単な手順が含まれています。アナウンスURLを生成し、トレントに追加して、友人と安全にファイルを共有しましょう。

続きを読む
(privtracker.com)
開発 プライベートトラッカー ファイル共有

200名以上の研究者が巨大AIモデル開発の一時停止を呼びかけ

2025-02-07

世界中の主要大学や研究機関の200名以上の研究者が、GPT-4より強力なAIモデルの開発を6ヶ月間一時停止するよう求める公開書簡に署名しました。彼らは、これらの巨大AIモデルが社会や文明に及ぼす潜在的なリスクについて警告し、適切な安全評価と規制枠組みを可能にするために一時停止が必要だと主張しています。この書簡は、AIの急速な進歩による潜在的な危険性を強調しており、テクノロジー分野におけるAIの安全性と倫理に関する幅広い議論を引き起こしています。

続きを読む
(agi.safe.ai)
テクノロジー AIの倫理

画期的なアイデア：Magitの原則をjjバージョン管理システムに適用する

2024-12-13

著者は、斬新なアプローチを提案しています。EmacsのMagitバージョン管理インターフェース（テキストファイルを使用するUI）を、新興のjjバージョン管理エコシステムに適用するというものです。記事では、MagitのテキストベースのUIが効率性と移植性を提供することを指摘しています。LSPプロトコルを活用することで、さまざまなエディターでMagitに似たエクスペリエンスを実装でき、冗長な開発を回避できます。著者は、特定のテキストファイル（.jj/status.jjなど）を生成し、LSPのセマンティックトークン、折りたたみ範囲、定義へのジャンプなどの機能を利用して、Magitに似たバージョン管理操作を実現することを想定しています。最終的な目標は、jjバージョン管理のための効率的でクロスプラットフォームなユーザーインターフェースを作成することです。

続きを読む
(matklad.github.io)
開発

分散協調からの解放：Restateが単一ログで分散アプリケーションを簡素化する仕組み

2025-01-24
分散協調からの解放：Restateが単一ログで分散アプリケーションを簡素化する仕組み

堅牢な分散アプリケーションの構築は依然として大きな課題です。開発者は、フェイルオーバー戦略、リトライ、競合状態などの複雑な問題に対処するために多くの時間を費やします。この記事では、分散協調を回避することで開発を簡素化する新しいアプローチであるRestateを紹介します。中心となるアイデアは、すべてのシステム（メッセージキュー、データベース、ロックサービスなど）を単一のログとして扱うことです。すべての操作がこのログに記録され、リトライ時には以前の操作記録が自動的に読み込まれるため、データの不整合や競合状態を防ぎます。Restateはこの原則に基づいたオープンソースプロジェクトであり、分散アプリケーションの開発とメンテナンスを簡素化し、システムの信頼性を向上させます。

続きを読む
(restate.dev)
開発 ログ

フォーチューンアルゴリズムによるボロノイ図の生成：O(n log n)の頭痛

2025-02-08

この記事では、O(n log n)の時間計算量でフォーチューンアルゴリズムを用いてボロノイ図を生成する複雑さを深く掘り下げています。著者は、実装が予想以上に困難であったことを認め、毎秒大量の大きな図形を処理する必要がない限り、より単純なO(n²)の方法やライブラリを使用することを推奨しています。この記事では、ボロノイ図、フォーチューンアルゴリズムの原理（スウィープライン、ビーチライン、イベントキュー、放物線など）、アルゴリズムのデータ構造とイベント処理（サイトイベント、サークルイベント、不完全なエッジ、ハーフエッジなど）を詳細に説明しています。複雑さにもかかわらず、このアルゴリズムは視覚的に素晴らしいボロノイ図を生成します。

続きを読む
(redpenguin101.github.io)
開発 ボロノイ図 フォーチューンアルゴリズム

壁越しの会話がプログラマーとしての私の人生を変えた

2024-12-21
壁越しの会話がプログラマーとしての私の人生を変えた

1983年、大手防衛関連企業で働いていたプログラマーは、化学の博士号取得を目指していました。ある日、隣室の「マイクロコンピューターグループ」（技術好きの管理者がいた部署）のマネージャーと壁越しに話をしたことがきっかけで、Apple IIに関する会議に招待されました。そこで、会社社長が自宅でメールを読めるように、1週間で6502アセンブリ言語でVT-100ターミナルエミュレーターを作成するという、緊急の任務を負うことになります。この経験は、彼のキャリアの方向転換、マイクロコンピューターグループへの参加、同社唯一のPCプログラマーとしての地位獲得、そして自身の会社設立へと繋がりました。何年も後になって、彼は偶然の出会い、そして人間関係がいかに人生を大きく変えたかを振り返っています。

続きを読む
(thecodist.com)
開発 キャリア 機会

プログラミング言語のメモリモデル：並行プログラミングにおける課題と解決策

2024-12-12

この記事では、プログラミング言語のメモリモデル、特にマルチスレッドプログラムにおける共有メモリの動作について詳しく解説します。単純なC言語風のプログラムを例に、コンパイラの最適化が、スレッド間の競合状態など、予期せぬ結果につながる可能性を示します。これを解決するために、現代の言語では、スレッドの同期を確保し、データ競合を回避するために、アトミック変数とアトミック操作が導入されています。この記事では、Java、C++、Rustなどの言語のメモリモデルを比較し、それぞれの長所と短所、進化について分析し、メモリモデルの形式化における課題を指摘します。

続きを読む
(research.swtch.com)
開発 メモリモデル マルチスレッド 並行プログラミング

Railgun Labs、高性能Unicodeアルゴリズムライブラリ「Unicorn」を発表

2024-12-15

Railgun Labsは、高速性、埋め込み可能性、クロスプラットフォーム互換性、セキュリティで知られる高性能Unicodeアルゴリズムライブラリ「Unicorn」をリリースしました。Unicornは、正規化、大文字小文字変換、照合、セグメンテーションなど、多くのUnicodeアルゴリズムをサポートし、UTF-8、UTF-16、UTF-32エンコーディングのデコーダ、エンコーダ、バリデータを提供します。このライブラリは完全にカスタマイズ可能であり、正確性と信頼性について広範囲にテストされています。MISRA C:2012に準拠しており、大部分がスレッドセーフです。

続きを読む
(railgunlabs.com)
開発 Unicodeアルゴリズム ソフトウェアライブラリ

デイビッド・ラグルズの退屈な英雄譚：地下鉄道物語

2025-01-10
デイビッド・ラグルズの退屈な英雄譚：地下鉄道物語

この記事は、1836年、アボリショニストのデイビッド・ラグルズが、ブリガンティン・ブリリャンテ号に乗船していた5人の奴隷を解放するために費やした、ほとんど目立たない努力を語っています。物語の中心は、ラグルズが直面した退屈で、しばしばフラストレーションの溜まる官僚的な闘争であり、アボリショニストの仕事の、華やかさのない現実を浮き彫りにしています。法的手続きをくぐり抜け、役人に嘆願し、挫折を経験するのに費やされた無数の時間です。最終的に解放されたのは2人だけでしたが、この記事では、この「退屈な英雄譚」が、奴隷制廃止運動における重要な役割を果たしたことを強調し、その歴史的変化への貢献がしばしば見過ごされていることを指摘しています。

続きを読む
(commonplace.online)
その他 地下鉄道 奴隷解放運動 デイビッド・ラグルズ

Bagels：強力なターミナルベースの支出トラッカー

2025-01-27
Bagels：強力なターミナルベースの支出トラッカー

Bagelsは、ターミナルで動作する強力な支出トラッカーです。アカウント、サブカテゴリ、トランザクションの分割、送金、繰り返しトランザクションのテンプレートなどの機能を使用して、簡単に財務状況を追跡および分析できます。クリーンなインターフェースは、カスタマイズ可能なキーバインドとデフォルト設定を提供します。すべてのデータはローカルに保存されるため、プライバシーと利便性が確保されます。macOSとWindowsの両方で簡単にインストールできます。

続きを読む
(github.com)
開発 支出トラッカー 財務

ネットワーク遅延による位置特定：オンライン投票のセキュリティ向上

2025-01-14

新しい技術は、ネットワーク遅延を利用してオンライン投票の正当性を検証します。デバイスと複数のサーバー間の信号伝送時間を測定することで、デバイスの物理的な位置を推測できます。この方法は操作されにくく、位置情報サービスが無効になっている場合でも機能し、投票操作に対する追加のセキュリティレイヤーを提供します。大気や衛星信号による位置偽装は理論的には可能ですが、膨大なリソースと専門知識が必要となるため、大規模な操作は非常に困難です。既知のデータセンターIPアドレスの除外や応答パターンの分析などの他のセキュリティ対策と組み合わせることで、オンライン投票の完全性が大幅に向上します。

続きを読む
(ip-vote.com)
テクノロジー 投票セキュリティ 位置特定

Apple幹部、App Store手数料27%に当初反対、裁判で証言

2025-02-25
Apple幹部、App Store手数料27%に当初反対、裁判で証言

Appleフェローのフィル・シラー氏は裁判で、App Store以外で行われたアプリ購入に対してAppleが27％の手数料を徴収する計画に当初懸念を表明したと証言しました。彼は、これがコンプライアンス上のリスクとなり、開発者との関係が悪化し、Appleが開発者を監査する必要があると主張しました。Appleは、代替決済方法を認める2021年の裁判所の判決に従っていると主張していますが、手数料を3％しか削減せず、Epic Gamesから「悪意のある遵守」と非難されました。Appleが当初の命令に違反したかどうかを判断するために、この事件は再び裁判所に戻ってきました。シラー氏の証言は、手数料に関するApple内部での議論、外部リンクを使用する開発者への影響分析（ユーザーエクスペリエンス、開発者の採用、財務的影響などを考慮）などを明らかにしました。最終的に、AppleのCEOであるティム・クック氏ら幹部は、手数料を維持するものの、小規模開発者には追加の割引を提供することに決めました。

続きを読む
(techcrunch.com)
テクノロジー

Riverを使った冪等なメールAPIの構築

2025-03-24

この記事では、Riverを使って冪等性のある安全なメールAPIを構築する方法を示します。多くのメールサービスは冪等性を保証するAPIを欠いており、メールの重複送信や欠損につながります。Riverの機能を活用し、一意のアカウントIDと冪等性キーを組み合わせることで、冪等なメール送信を実現します。ネットワークエラーによる再試行が発生しても、メールは一度だけ送信されます。この記事では、ジョブ引数の定義、ワーカーの作成、重複リクエストの処理、パラメータの一致に関するセキュリティなど、実装の詳細を説明します。結果として得られるAPIは簡潔で効率的で、本番環境でも使用できるものであり、一般的なメール送信の問題を回避します。

続きを読む
(riverqueue.com)
開発 冪等性 メールAPI

4枚の4090GPUで独自のLLMをローカルで訓練する

2024-12-28
4枚の4090GPUで独自のLLMをローカルで訓練する

AI愛好家が、4枚のNVIDIA 4090 GPUを使用して大規模言語モデル（LLM）をローカルで訓練するための自作マシンを構築しました。費用は約12,000ドル。このセットアップでは、最大10億パラメーターのモデルを訓練できますが、約5億パラメーターのモデルで最適なパフォーマンスを発揮します。この記事では、ハードウェアの選択（マザーボード、CPU、RAM、GPU、ストレージ、電源、ケース、冷却システム）、組み立て手順、ソフトウェア構成（OS、ドライバー、フレームワーク、カスタムカーネル）、モデルの訓練、最適化、メンテナンスについて詳しく説明しています。George Hotzのカーネルパッチを使用して4xxx GPUのピアツーピア通信を有効にするなどのヒントも含まれています。ローカル訓練の利点を強調しながら、著者はいずれかのタスクに対するクラウドソリューションのコスト効率の高さにも言及しています。

続きを読む
(sabareesh.com)
AI GPUトレーニング ローカルAI

大規模言語モデルはプログラミングの終焉をもたらすか？

2024-12-15

近年、大規模言語モデル（LLM）によるコード生成能力の向上は、プログラミングの終焉を示唆する議論を巻き起こしています。しかし、この記事では、そのような楽観的な見解に反論しています。プログラム合成の計算複雑性に着目し、正しいコードを生成することはPSPACE完全問題であることを示しています。つまり、中規模の入力でも指数関数的な時間がかかる可能性があるということです。LLMはプログラマーを支援し効率を高めるツールとなり得ますが、本質的な限界から、人間のプログラマーを完全に置き換えることはできません。プログラミングの中核は、問題解決とシステム設計であり、人間の創意工夫と創造性を必要とします。

続きを読む
(cacm.acm.org)
開発 プログラム合成 プログラミングの未来

DoctolibのエイジェンティックAI：ヘルスケアサポートの再考

2025-01-03
DoctolibのエイジェンティックAI：ヘルスケアサポートの再考

Doctolibは、ヘルスケアサポートチームを強化するためのエイジェンティックAIシステム「Alfred」を開発しています。専門的なAIエージェントで構成されるAlfredは、日常的な問い合わせを処理し、人間のエージェントを複雑なケースに集中させることができます。「ヒューマン・イン・ザ・ループ」アプローチを採用することで、AIが直接的に機密性の高い操作を実行することを防ぎます。慎重に設計されたUIは、スムーズなユーザーエクスペリエンスを保証します。LangGraphフレームワーク上に構築されたAlfredは、安全な認証とユーザー権限の伝播にJWTを使用します。現在、医師の予定へのアクセス管理に焦点を当てていますが、DoctolibはAlfredの機能を他のサポートシナリオに拡大する予定です。

続きを読む
(medium.com)
AI ヘルスケア エイジェンティックAI

Keeper（Y Combinator）シニアフルスタックエンジニア募集

2025-01-01
Keeper（Y Combinator）シニアフルスタックエンジニア募集

Y Combinator支援の会計士向けソフトウェア開発企業Keeperが、シニアフルスタックエンジニアを募集しています。ReactとNode.jsを用いたWebアプリケーション開発経験3年以上、TypeScript、REST API、データベースに関する深い知識が求められます。Keeperは競争力のある給与と株式を提供し、効率的なツールで会計士を支援することを目指しています。

続きを読む
(www.ycombinator.com)
開発 シニアフルスタックエンジニア 求人

Google スプレッドシートを便利なウェブアプリに変換する：プログラマーの物語

2024-12-31
Google スプレッドシートを便利なウェブアプリに変換する：プログラマーの物語

Ars Technica の記者が、Glide を使用してシンプルな Google スプレッドシートをスマートフォンに優しいウェブアプリに変換した方法を共有しています。当初はテイクアウトの注文を合理化するために作成されたこのアプリは、効率的な検索とフィルタリング機能を備え、地元のレストラン情報を管理します。その後、レシピやパントリーアイテムのアプリも開発し、日常生活を改善しました。この記事は、ノーコードツールの威力と、シンプルなソリューションが現実世界の課題を解決できる方法を示しており、創意工夫とより良い生活への追求を強調しています。

続きを読む
(arstechnica.com)
開発 Google スプレッドシート ウェブアプリ

紙の旅券の終焉：デジタル旅行書類の台頭

2024-12-27
紙の旅券の終焉：デジタル旅行書類の台頭

顔認識技術とスマートフォンの普及により、紙の旅券は廃止されようとしています。世界中の空港と政府機関は、顔認識とデジタル身元確認を利用して旅行プロセスを合理化するため、旅券不要の旅行システムを積極的に試験・導入しています。これにより効率が向上し、空港での待ち時間が短縮されますが、データ漏洩や監視強化といったデータプライバシーとセキュリティに関する懸念も提起されています。国際民間航空機関（ICAO）は、デジタル旅行資格情報（DTC）の採用を推進しており、これは電話に保存されたパスポート情報をデジタル化し、物理的なパスポートと暗号的にリンクさせるものです。類似者詐欺やシステム障害など、課題はありますが、デジタル旅行書類への傾向は不可逆的です。あなたの顔はまもなくあなたの新しいパスポートになるかもしれません。

続きを読む
(www.wired.com)
テクノロジー 顔認証 デジタル旅行認証 旅券不要旅行 デジタル旅行 顔認識

Kubernetes Spec v1.32リリース：包括的なリソースリファレンスガイド

2024-12-12
Kubernetes Spec v1.32リリース：包括的なリソースリファレンスガイド

kubespec.devは、Kubernetes Spec v1.32のリファレンスガイドとドキュメントをリリースしました。すべての組み込みリソース、プロパティ、タイプ、および例に関する包括的なドキュメントを提供します。このガイドは、ワークロード、クラスタ、ネットワーク、構成、ストレージ、管理、アクセス制御などを網羅しており、ユーザーはKubernetesの機能を迅速に見つけて理解することができます。このプロジェクトはオープンソースであり、貢献を受け付けています。

続きを読む
(kubespec.dev)
開発 ドキュメント

Ruff：超高速Pythonリンター＆フォーマッター

2025-01-21
Ruff：超高速Pythonリンター＆フォーマッター

RuffはRustで記述された、非常に高速なPythonリンターおよびフォーマッターです。Flake8やBlackなどの既存ツールよりも10～100倍高速で、人気のあるツールとの互換性を維持しながら、ビルトインキャッシュと自動修正機能を備えています。800以上のビルトインルールとpyproject.tomlのサポートにより、FastAPIやPandasなどの主要なオープンソースプロジェクトで使用されており、Python開発に革命を起こすツールです。

続きを読む
(github.com)
開発 リンティング

Klarity：生成モデルにおける不確実性の解明

2025-02-03
Klarity：生成モデルにおける不確実性の解明

Klarityは、生成モデルの出力における不確実性を分析するためのツールです。生の確率分析と意味理解を組み合わせることで、テキスト生成中のモデルの動作に関する深い洞察を提供します。このライブラリは、二重エントロピー分析、意味クラスタリング、構造化されたJSON出力、そして人間が読める洞察を提供するAI駆動型分析を提供します。現在Hugging Face Transformersをサポートしており、より幅広いフレームワークとモデルのサポートを計画しています。

続きを読む
(github.com)
AI 不確実性分析 AIツール
1 2 … 570 571 572 574 576 577 578 … 595 596