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

NordVPNがついにLinux向けGUIを提供

2025-05-14
NordVPNがついにLinux向けGUIを提供

長年、NordVPNのLinuxクライアントはコマンドラインインターフェースのみで、ユーザーエクスペリエンスはあまり満足できるものではありませんでした。SurfsharkやExpressVPNなどの競合他社は既にグラフィカルユーザーインターフェース（GUI）をリリースしていました。今回、NordVPNはついに追いつき、独自のLinux向けGUIをリリースしました。これにより、ユーザーはコマンドを入力する代わりにクリック操作で接続、設定、テーマの変更などが行えるようになり、使いやすさが大幅に向上しました。新しいインターフェースは既存のコマンドライン基盤上に構築されており、セキュリティと信頼性は維持しつつ、ユーザーから長らく要望されていたGUIが追加されました。ほとんどの機能はGUIから簡単にアクセスできますが、一部の高度なツールはコマンドラインのみのままでです。このアップデートにより、NordVPNはLinuxユーザーエクスペリエンスにおけるこれまでの欠点を解消し、他のプラットフォームとの整合性を高めました。

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

ヘーゲル2.0：実現しなかった3進計算の革命

2025-05-14
ヘーゲル2.0：実現しなかった3進計算の革命

この記事は、冷戦期における、コンピュータサイエンスと哲学における米国とソ連の対立を探求しています。ウォーレン・マカロックがソ連からの招待を拒否したことが、3進コンピュータSETUNとそのマカロックのニューラルネットワーク理論、そしてゴットハルト・ギュンターの「超古典論理」との関連性に関する物語の舞台となります。ギュンターは、ヘーゲルの弁証法とサイバネティクスを統合しようと試み、3進論理が2進論理に固有の矛盾を解決し、デジタル形而上学の基礎を提供できると主張しました。SETUNは最終的に失敗しましたが、非2進計算の探求を促し、デジタル文化における2元論の再考を促しました。

続きを読む
(www.cabinetmagazine.org)
テクノロジー 3進計算

イーサリアムの簡素化：より堅牢で安全なプロトコルへの道

2025-05-14

この記事では、イーサリアムプロトコルの簡素化の必要性と方法を探ります。著者は、簡素化によってセキュリティが向上し、開発コストが削減され、コミュニティ参加が促進されると主張しています。この記事では、コンセンサス層（例：3スロットファイナリティの使用）と実行層（例：EVMをRISC-Vに置き換え）の両方を簡素化することで、この目標を達成することを提案しています。さらに、イレーザーコード、シリアライゼーション形式、ツリー構造などのコンポーネントを共有することで、プロトコルの複雑さをさらに削減することを提案しています。最終的な目標は、イーサリアムの重要なコードをビットコインのようにシンプルにすることで、長期的な保守性とセキュリティを向上させることです。

続きを読む
(vitalik.eth.limo)
開発 プロトコルの簡素化

Googleが競争を抑制：Nextcloud Androidアプリのアップロード制限

2025-05-14
Googleが競争を抑制：Nextcloud Androidアプリのアップロード制限

NextcloudのAndroidアプリのアップロード機能はGoogleによって厳しく制限されており、写真と動画のみのアップロードが許可されています。Googleはセキュリティ上の懸念を理由に重要な権限を取り消しましたが、Nextcloudはこれが競争を抑制するための意図的な試みだと考えています。何度も訴え出ていますが、Googleは権限の復元を拒否し、何百万人ものユーザーに影響を与えています。Nextcloudは、これは巨大テクノロジー企業が競合他社を抑制するためにプラットフォームの優位性を悪用している好例であり、より厳格な規制を求めています。

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

オープンソースPebbleOSの継続：SiFliチップがCore Time 2を動かす

2025-05-14
オープンソースPebbleOSの継続：SiFliチップがCore Time 2を動かす

スマートウォッチの開発に関するシリーズ記事の第1弾となるこの記事では、Core Time 2スマートウォッチにSiFli SF32LB52Jチップを採用した経緯が詳細に説明されています。筆者は、以前のPebbleスマートウォッチでSTM32F2チップを使用していた経験を振り返り、マイクロコントローラーユニット（MCU）を選択する際のソフトウェア互換性、消費電力、コストといった重要な要素について解説しています。最終的に、512KBのSRAM、16MBのPSRAM、低消費電力、そしてオープンソースSDKといった利点を備えたSiFliチップが選ばれ、オープンソースPebbleOSエコシステムに新たな活力が吹き込まれました。

続きを読む
(ericmigi.com)
ハードウェア チップ選定

Ashフレームワーク：迅速なアプリ開発のためのプリセットオプション

2025-05-14
Ashフレームワーク：迅速なアプリ開発のためのプリセットオプション

Ashは、迅速なアプリケーション構築のためのプリセットオプションを提供する強力なアプリケーション開発フレームワークです。ユーザーは、Phoenix LiveView、GraphQL、PostgreSQLなどの様々なコンポーネントを含むプリセットを選択でき、後でAI、ファイナンス、自動化などのモジュールを追加することもできます。初心者でも簡単に始めることができ、シンプルなコマンドラインインストールとPostgreSQLデータベースでプロジェクトを迅速に立ち上げることができます。

続きを読む
(ash-hq.org)
開発 Ashフレームワーク プリセットオプション

コーヒー染みの物理学：異色の物理学者の軌跡

2025-05-14
コーヒー染みの物理学：異色の物理学者の軌跡

シカゴ大学のシドニー・ナゲル教授は、コーヒーの染み、雨滴、砂の流動といった日常現象の研究を通じて、物理学の分野に革命を起こしました。彼は、ほとんどの物理学者が見過ごしてきた「ソフトマター」に注目し、「ジャミング」現象の研究を通して、砂や交通の流れを説明する理論を展開しました。ナゲルの研究は、科学的に重要なだけでなく、美的にも優れており、実験で得られた画像は美術館の壁を飾っています。彼の研究は、オリバー・E・バックリー賞やアメリカ物理学会の傑出研究賞など、数々の権威ある賞を受賞しており、その影響力と独自の視点が示されています。

続きを読む
(www.quantamagazine.org)
テクノロジー ソフトマター物理学 ジャミング現象

SteamOSがSteam Deckを超えて拡大：新しい互換性ラベルが登場

2025-05-14
SteamOSがSteam Deckを超えて拡大：新しい互換性ラベルが登場

Valveは、LinuxベースのSteamOSをSteam DeckからAsus ROG Allyなどの他の携帯型PCに拡張しています。それに伴い、SteamはゲームとそのミドルウェアがSteamOSでサポートされているかどうかを示す「SteamOS互換」ラベルを導入します。ゲーム機能、ランチャー機能、アンチチートサポートが含まれます。18,000以上のタイトルが最初に互換性があると表示されます。Protonテクノロジーによって互換性が大幅に向上していますが、すべてのWindowsゲームが完璧に動作するとは限りません。これは、SteamOSのより広範な採用に向けた重要な一歩です。

続きを読む
(arstechnica.com)
ゲーム

Stack AI、10倍エンジニアを募集：AI搭載アプリプラットフォームの構築

2025-05-14
Stack AI、10倍エンジニアを募集：AI搭載アプリプラットフォームの構築

MITの博士号取得者2名によって設立され、Y CombinatorとGoogleから支援を受けているAI企業、Stack AIが10倍エンジニアを募集しています。彼らは、OpenAIやAnthropicなどのAIモデルと様々なデータソースを統合したノーコードプラットフォームを開発しており、誰でもAIアプリを構築できるようにすることを目指しています。85,000人を超えるユーザーと300社以上の有料顧客を抱え、スケーラブルなバックエンドシステムの構築とAIモデルの統合に携わるPython、データベース、AWS、コンテナ化に精通したエンジニアを求めています。理想的な候補者は、強力な問題解決能力、チームワーク能力、そしてAIへの情熱を持っています。

続きを読む
(www.ycombinator.com)
開発 AI採用

GMとLG、より安価で安全なEVバッテリーを共同開発

2025-05-14
GMとLG、より安価で安全なEVバッテリーを共同開発

ゼネラルモーターズはLGと協力して、電気トラックとSUV向けのリチウムマンガンリッチ（LMR）バッテリーを開発しています。この新型バッテリーは、現在の技術よりも安全で、エネルギー密度が高く、低コストであるとされています。GMは、2028年までに米国でLMRバッテリーを最初に商業生産する自動車メーカーを目指しており、フォードの2030年の目標を上回ります。LMRアプローチは、より多くのマンガンを使用し、高価なコバルトへの依存を削減することで、EVのコストを大幅に削減する可能性があります。容量低下などの課題はありますが、GMはこれらのリスクを軽減したと確信しており、この技術を使用した車両の航続距離を400マイルと予測しています。この取り組みは、EVのコスト削減と普及を加速させる上で非常に重要です。

続きを読む
(www.theverge.com)
テクノロジー LMRバッテリー

Wiseアカウント凍結、6万豪ドル以上アクセス不可

2025-05-14
Wiseアカウント凍結、6万豪ドル以上アクセス不可

5年間使用していた企業のWiseアカウントが突然凍結され、取引ができなくなりました。6万豪ドル以上がアクセス不可の状態です。株主情報や所有者のIDなど、要求されたすべての書類を提出したにも関わらず、Wiseサポートは問題を解決できず、既に提出済みの書類を繰り返し要求しています。多数のサポートチケットと電話も解決策に繋がらず、多額の資金が凍結されたままになっています。

続きを読む
(hey.paris)
その他 アカウント凍結 資金の安全性

Muscle-Mem：AIエージェントに筋肉記憶を与える

2025-05-14
Muscle-Mem：AIエージェントに筋肉記憶を与える

muscle-memは、AIエージェントの行動キャッシュとして機能するPython SDKです。タスクを解決する際のエージェントのツール呼び出しパターンを記録し、同じタスクを再度実行する際に、学習した軌跡を決定的に再生します。エッジケースが検出された場合は、エージェントモードに戻ります。目的は、反復的なタスクからLLMをホットパスから外し、速度を向上させ、変動性を減らし、単純なスクリプトで処理できるタスクのトークンコストを削減することです。カスタムの「チェック」を使用して、安全なツールの再利用を保証するキャッシュ検証が不可欠です。

続きを読む
(github.com)
AI 行動キャッシュ

冗長性の問題：LLMが肥大化したコードを生成する理由

2025-05-14
冗長性の問題：LLMが肥大化したコードを生成する理由

この記事では、大規模言語モデル（LLM）が冗長で非効率的なコードを生成するという問題を探っています。著者は、多くのAIコーディングアシスタントのトークンベースの価格モデルが、効率性が低い場合でも、長いコードの生成を促進していると主張しています。これは、処理されるトークンが多いほど収益が多くなるためです。著者は、この問題を軽減するための戦略として、コーディング前の計画の強制、厳格な許可プロトコルの実装、Gitを使用した実験と徹底的な削減、より安価なモデルの使用などを挙げています。最終的な解決策として、著者は、AI企業が経済的インセンティブをコードの品質をトークン数よりも優先するように変更する必要があると提案しています。

続きを読む
(fredbenenson.medium.com)
開発 経済的インセンティブ

EM-LLM：無限コンテキストLLMのための、人間に着想を得たエピソードメモリ

2025-05-14
EM-LLM：無限コンテキストLLMのための、人間に着想を得たエピソードメモリ

EM-LLMは、人間のエピソードメモリとイベント認知を模倣することで、大規模言語モデル（LLM）の非常に長いコンテキストを処理する能力を大幅に向上させる新しいアーキテクチャです。ファインチューニングなしで、EM-LLMは入力トークンシーケンスを首尾一貫したエピソードイベントに編成し、効率的な2段階のメモリ検索メカニズムを通じて関連情報にアクセスします。LongBenchと∞-Benchベンチマークにおいて、EM-LLMはInfLLMやRAGなどの最先端の検索モデルを凌駕し、ほとんどのタスクにおいてフルコンテキストモデルをも上回ります。1000万トークンにわたる検索を成功裏に実行し、これはフルコンテキストモデルでは計算上不可能です。EM-LLMのイベントセグメンテーションと人間が認識するイベントとの強い相関関係は、人間のメモリメカニズムを探求するための新しい計算フレームワークを提供します。

続きを読む
(github.com)
AI エピソードメモリ 無限コンテキスト

プログラミング言語に対する考え方を改めた論文とブログ記事

2025-05-14
プログラミング言語に対する考え方を改めた論文とブログ記事

この記事では、プログラミング言語とコンパイラに対する著者の理解を大きく変えた論文やブログ記事をいくつか紹介しています。扱われているトピックは、ガベージコレクション、コード最適化、レジスタ割り当て、正規表現エンジン、機械学習、SSA形式、コンパイラ設計など多岐に渡ります。著者は、Z3を証明エンジンとして使用すること、ファジングを利用してバグを発見すること、効率的な式解析手法など、提示された洞察に富むアプローチを強調しています。このコレクションは、著者がプログラミング言語の設計と実装の複雑な詳細に深く取り組んできたことを示しています。

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

TwoFold：プレーンテキストファイルを動的に

2025-05-14
TwoFold：プレーンテキストファイルを動的に

TwoFoldは、プレーンテキストファイルを動的なファイルのように動作させる小さなコマンドラインアプリケーションです。テキストエクスパンダーとテンプレートエンジンのハイブリッドであり、Emacs Org-mode、Python Jupyter Notebooks、React JSからインスピレーションを得ています。TwoFoldはテキストファイルを処理し、LISP/XMLに似たタグを識別して、それらを有用な出力に変換します。XMLおよびHTMLドキュメントと互換性がありますが、タグマーカーはカスタマイズ可能です。ファイルの変更を監視し、データ検証、統計計算、スペルチェックなどのタスクに対するリアルタイムコラボレーションを可能にします。TwoFoldは様々なファイルタイプ（.txt、Markdown、Emacs Org、reStructured Text、HTML、XML、ソースコードファイル）をサポートしますが、バイナリファイルはサポートしません。Bunを使用して実行され、ユーザーは独自のタグを簡単に作成してロードできます。

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

ヒルベルトのラジオ演説：数学問題に関するマニフェスト

2025-05-14

1930年、著名な数学者であるダフィット・ヒルベルトはケーニヒスベルクで力強い演説を行い、すべての数学問題は解けるという主張をしました。これは、当時広く流布していた物議を醸す反対意見への挑戦でした。この記事では、ヒルベルトのラジオ演説の文脈を探り、彼の以前の研究や当時の哲学および数学文化のトレンドについて論じています。演説の音声記録、ドイツ語原文、英語翻訳を提供し、読者がこの数学界の巨匠の思想とその数学研究への永続的な影響を深く理解することを目指しています。

続きを読む
(old.maa.org)
その他 ヒルベルト

MetaPostを使った物理学教科書の図解の自動化

2025-05-14
MetaPostを使った物理学教科書の図解の自動化

物理学の教科書のために何百もの図を作成するという大変な作業に直面した著者は、従来のベクトルグラフィックエディタよりも効率的な解決策を探しました。MetaPostがその答えとなりました。MetaPostを使用すると、図を変数の関数として定義でき、調整や要素の再利用が容易になります。この記事では、著者がMetaPostを使用してさまざまな形状（曲線、球体、チューブなど）とテクスチャを作成したプロセスを詳細に説明し、コード例を示しています。教科書のキャンセルにもかかわらず、改良されたコードライブラリはオープンソース化されており、物理学関連の図を作成するための汎用性の高いツールを提供しています。

続きを読む
(habr.com)
開発 自動描画

上海のオンデマンドバスシステム：利用者主導の革命

2025-05-14
上海のオンデマンドバスシステム：利用者主導の革命

上海は、新しい「DZ」（カスタマイズされた）バスシステムで公共交通機関に革命を起こしています。住民はオンラインプラットフォームを介してルートを提案し、十分な人数（通常15～20人）が登録すれば、ルートが開始されます。220以上のDZルートがすでに市内を運行しており、柔軟で需要に応じたソリューションを提供しています。効率性と利便性で称賛されている一方で、乗客の需要の不均衡や、一般の認知度が低いといった課題にも直面しています。今後の改善は、ルートプランニング、プラットフォームのアップグレード、可視性の向上に重点が置かれます。

続きを読む
(www.sixthtone.com)
テクノロジー オンデマンド交通

Mycelium：新しいデータの保存と転送フォーマット

2025-05-14
Mycelium：新しいデータの保存と転送フォーマット

Myceliumは、データの保存と転送のための型付きフォーマットであり、参照、式、関数、型をサポートしています。その仮想マシンであるMVMは、不変の値とポートによるプロセス間通信を用いて効率性を重視した設計となっています。MycZipはMyceliumの値を単一ファイルにエンコードし、QUICをベースとしたMyceliumネットワークプロトコル（MNP）は、ピアツーピアでのデータ転送とキャッシングによる最適化を実現します。Spore言語は、MVMのためのユーザーフレンドリーなインターフェースを提供します。

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

パラントアーCEO、ヨーロッパのAI導入の遅れを批判

2025-05-14
パラントアーCEO、ヨーロッパのAI導入の遅れを批判

リヤドの投資フォーラムで、防衛技術企業パラントアー・テクノロジーズのCEOアレックス・カープ氏は、サウジアラビアのエンジニアの能力と愛国心を称賛するとともに、ヨーロッパにおけるAI導入の遅れを批判しました。彼は、AIの実装において米国と中東がリードしていることを強調し、これとヨーロッパの遅れた進歩、そして彼が関係者の中で感じ取った諦めのような雰囲気を対比させました。これは、ヨーロッパの厳しいAI規制と、原材料、クラウドインフラストラクチャ、スーパーコンピューターなど、重要なAIインフラストラクチャ分野における低い市場シェアに起因しています。ヨーロッパはAI半導体機器製造ではリードしていますが、これらの他の分野での市場シェアは5％未満です。

続きを読む
(www.businessinsider.com)
テクノロジー パラントアー

Lively Webコアモジュールのロードログ

2025-05-14

このログは、Lively Webコアモジュールのロードプロセスを示しており、さまざまなJavaScriptモジュールのロード時間を表示しています。ロード時間は78msから555msの範囲で、IDEツール、ネットワークツール、UIコンポーネントなど、さまざまな側面をカバーしています。これは、Lively Webのモジュールアーキテクチャとランタイム環境を反映しています。

続きを読む
(smalltalkzoo.thechm.org)
開発 モジュールロード

手首を超えて：RSIのデバッグ

2025-05-14

コンピューターサイエンスの大学院生が、衰弱するほどの激しい手首の痛みで、学業が危ぶまれた。腱鞘炎と反復性ひずみ症の初期診断は理学療法につながったが、痛みは悪化した。著者は、痛みが物理的な損傷によるものではなく、脳内の誤って較正された予測システムによるものであり、将来の損傷を誤って予測していることを発見した。痛みの神経科学を研究し、集中的な運動と疼痛再処理療法を組み合わせることで、彼は自分の痛みシステムを再較正し、回復した。

続きを読む
(www.debugyourpain.org)
その他 疼痛再処理療法

GNOME 48 のアクセシビリティ向上：AccessKit、Orca ショートカットなど

2025-05-14

GNOME 48 はアクセシビリティにおいて大幅な進歩を遂げました。GTK 4.18 は AccessKit バックエンドを統合し、Windows と macOS で GTK アプリケーションが初めてアクセシブルになりました。Wayland 上での Orca スクリーンリーダーのキーボードショートカットのサポートも完了し、アクセシビリティにおける大きなギャップを埋めました。さらに、WebKitGTK のアクセシビリティが向上し、GNOME Web は完全にアクセシブルでサンドボックス化されたブラウザとなりました。新しいアクセシビリティツール Elevado もリリースされ、開発者にとってアプリケーションのアクセシビリティ機能を探求し検査するための新しい方法を提供します。多くの小さな改善により、GTK および関連ライブラリのアクセシビリティが向上しました。ファイル chooser、リストボックス、ボタンサイズの検出、テキスト属性のレポートなどが改善されています。

続きを読む
(blog.gtk.org)
開発

DeepSeekの静かな天才：梁文峰

2025-05-14
DeepSeekの静かな天才：梁文峰

革新的なAIスタートアップDeepSeekの創設者である梁文峰は、一見するとシャイな印象を与えるかもしれませんが、その静けさの裏には鋭い頭脳が隠されています。彼は若い研究者を育成し、技術的な議論に深く関わり、イノベーションを推進しています。彼の綿密なアプローチとAIシステムに対する深い理解は、DeepSeekをこの分野で大きな成功に導きました。

続きを読む
(www.bloomberg.com)
AI

RPG in a Box：簡単にゲームを作ろう！

2025-05-14

RPG in a Boxを使えば、プログラミングやモデリングの知識がなくても、ゲームやインタラクティブな体験を簡単に作成できます。ボクセルエディタ、マップエディタ、ビジュアルスクリプティング、会話システム、UIカスタマイズ、アイテムシステム、サウンドエフェクトジェネレーターなどの直感的なツールが搭載されており、作成したゲームをWindowsとmacOS向けにエクスポートできます。初心者でも簡単に使えます！

続きを読む
(rpginabox.com)
ゲーム

DeepMindのAlphaEvolve：AIアルゴリズムの進化で数学問題解決とチップ設計を改善

2025-05-14
DeepMindのAlphaEvolve：AIアルゴリズムの進化で数学問題解決とチップ設計を改善

Google DeepMindが開発したAlphaEvolveシステムは、大規模言語モデル（LLM）の創造性とアルゴリズムによるフィルタリングを組み合わせることで、数学とコンピュータサイエンスの分野でブレークスルーを達成しました。未解決の数学問題を解いただけでなく、DeepMind自身の課題、例えば次世代AIチップであるTensor Processing Unitsの設計改善や、Googleのグローバルなコンピューティングリソース利用率の最適化（0.7%の資源節約）にも適用されました。従来の特定タスク向けのAIとは異なり、AlphaEvolveは汎用システムであり、より大規模なコードと複雑なアルゴリズムを処理でき、行列乗算計算において以前の専門システムであるAlphaTensorを凌駕しました。

続きを読む
(www.nature.com)
AI

Artieが最初のプロダクトマーケティングマネージャーを募集！

2025-05-14
Artieが最初のプロダクトマーケティングマネージャーを募集！

Y Combinatorなどのトップ投資家から支援を受けているリアルタイムデータ同期プラットフォームArtieは、最初のプロダクトマーケティングマネージャーを募集しています。この役割は、複雑なデータベース技術を魅力的なマーケティングメッセージに変換できる、優れたコミュニケーション能力とストーリーテリング能力を持つ人を必要としています。理想的な候補者は、アーリーステージのスタートアップにおけるプロダクトマーケティングの経験を持ち、営業、エンジニアリング、プロダクトチームと効果的に連携できる人です。急成長中の企業で大きな影響を与え、マーケティング機能をゼロから構築し、キャリアを加速させる絶好の機会です。

続きを読む
(www.ycombinator.com)
スタートアップ プロダクトマーケティング

FCC、SpaceXとVTelとの紛争の中、EchoStarによる2GHzスペクトル使用を調査

2025-05-14
FCC、SpaceXとVTelとの紛争の中、EchoStarによる2GHzスペクトル使用を調査

SpaceXがEchoStarによる2GHz帯の広範な利用に関するデューデリジェンスを怠っていたことが、FCCによる調査につながった。EchoStarは、23,000以上の5Gサイトを展開し、米国の80％以上の地域をカバーしていると主張している。しかし、VTel Wirelessは、EchoStarに5Gネットワークの完成にさらに時間を与えることは、T-Mobile/Sprint合併における以前の約束に違反すると主張し、FCCに請願書を提出した。FCCは現在、EchoStarによる2GHzスペクトルの使用とVTelの再検討要請に関する公開コメントを求めている。

続きを読む
(arstechnica.com)
テクノロジー スペクトル争奪

Replicube：コードで自分だけのボクセル世界を創造

2025-05-14
Replicube：コードで自分だけのボクセル世界を創造

Replicubeは、3Dボクセルベースのオブジェクトを複製するためにコードを書く、オープンエンドのプログラミングパズルゲームです。コードで参照オブジェクトを一致させることでパズルを解きます。正解は一つではありません。同じオブジェクトを作成できればOKです！自由に独自のボクセルアートを作成し、内蔵ツールで2D画像やGIFを生成することもできます。リーダーボードで競い合い、ゲーム内フォーラムで作品を共有し、他の3Dプログラムに作品をエクスポートできます。Windows、macOS、Linuxで利用可能です。

続きを読む
(store.steampowered.com)
ゲーム ボクセルゲーム コード作成
← Previous 1 3 4 5 6 7 8 9 … 356 357