Search Results arXiv

軌跡予測のためのマップマッチング

この記事では、ノイズのあるGPSセンサーからサンプリングされた過去のトリップのデータベースを使用して、デジタル道路ネットワーク上の車両の軌跡を予測するための方法を紹介します将来の進路を予測するだけでなく、この...

このAI論文では、COLT5という新しいモデルを提案していますこのモデルは、より高品質かつ高速な処理のために条件付き計算を使用する、長距離入力のためのものです

様々な自然言語処理タスクにおいて、長い文章をエンコードするためには、機械学習モデルが必要です。例えば、長い文書の要約や質問に対する回答などです。Transformerモデルを使用して長いテキストを処理すると、入力の長さに比例して注意コストが二次的に増加し、各入力トークンに対してフィードフォワードやプロジェクション層を適用する必要があり、計算コストが高くなります。近年、長い入力の注意機構の負荷を軽減するための「効率的なTransformer」戦略がいくつか提案されています。しかし、フィードフォワードやプロジェクション層は、特に大きなモデルの場合には計算負荷の大部分を占め、長い入力の解析が不可能になることがあります。本研究では、COLT5という新しいモデルファミリーを紹介します。COLT5は、注意機構とフィードフォワード層の両方にアーキテクチャの改良を組み込むことで、LONGT5をベースにして長い入力の高速処理を可能にします。 COLT5の基盤となる考え方は、特定のトークンが他のトークンよりも重要であるということ、そして重要なトークンにより多くの計算リソースを割り当てることで、より高品質な結果を低コストで得ることができるということです。例えば、COLT5は、各フィードフォワード層と各注意層を、すべてのトークンに適用する軽いブランチと、その入力と要素に特に選ばれた重要なトークンのために使用される重いブランチに分けています。通常のLONGT5に比べて、軽いフィードフォワードブランチの隠れ次元は重いフィードフォワードブランチよりも小さくなっています。また、重要なトークンの割合は文書の長さに応じて減少し、長いテキストの処理を可能にします。図1：条件付き計算COLT5 Transformerレイヤーの概要。図1にはCOLT5の条件付きメカニズムの概要が示されています。COLT5のおかげで、LONGT5アーキテクチャはさらに2つの変更が加わりました。重い注意ブランチは、慎重に選ばれた重要なトークンの異なるセットに対して完全な注意を行い、軽い注意ブランチはより少ないヘッドを持ち、ローカルな注意を適用します。COLT5が導入するマルチクエリクロスアテンションは、推論を劇的に高速化します。さらに、COLT5はUL2の事前学習ターゲットを使用し、長い入力にわたる文脈における学習を可能にします。 Google Researchの研究者たちは、パフォーマンスと高速処理のために条件付き計算を使用する遠隔入力向けの新しいモデルであるCOLT5を提案しています。彼らは、COLT5がarXivの要約データセットやTriviaQAの質問応答データセットでLONGT5を上回り、SCROLLSベンチマークでもSOTAに達することを示しています。COLT5は「フォーカス」トークンの非線形スケーリングにより、長い入力の品質とパフォーマンスを大幅に向上させます。COLT5は、同じまたは優れたモデル品質で、非常に高速なファインチューニングと推論を行うことも可能です。COLT5の軽いフィードフォワード層と注意層はすべての入力に適用されますが、重いブランチは学習済みのルータによって選択された重要なトークンにのみ影響を与えます。彼らは、COLT5がさまざまな長い入力データセットでLONGT5を上回り、64kトークンまで非常に長い入力を効果的かつ効率的に処理できることを示しています。

マルチモーダル言語モデル：人工知能（AI）の未来

大規模言語モデル（LLM）は、テキストの分析や生成などのタスクをこなすことができるコンピュータモデルです。これらは膨大なテキストデータで訓練され、テキスト生成やコーディングなどのパフォーマンスを向上させます。現在のほとんどのLLMはテキストのみであり、テキストベースのアプリケーションに優れ、他の種類のデータを理解する能力に制限があります。テキストのみのLLMの例には、GPT-3、BERT、RoBERTaなどがあります。それに対して、マルチモーダルLLMは、テキストに加えて画像、動画、音声、その他の感覚入力など、他のデータタイプを組み合わせます。マルチモーダル性をLLMに統合することで、現在のテキストのみのモデルの制限を解消し、以前は不可能だった新しいアプリケーションの可能性を開くことができます。最近リリースされたOpen AIのGPT-4はマルチモーダルLLMの一例です。画像とテキストの入力を受け付け、多くのベンチマークで人間レベルのパフォーマンスを示しています。マルチモーダルAIの台頭マルチモーダルAIの進展は、2つの重要な機械学習技術、表現学習と転移学習によってもたらされています。表現学習により、モデルはすべてのモダリティに共有の表現を開発することができます。一方、転移学習により、モデルは特定のドメインでの微調整の前に基礎的な知識を学習することができます。これらの技術は、マルチモーダルAIを実現し、CLIP（画像とテキストを整合させる）、DALL·E 2およびStable Diffusion（テキストプロンプトから高品質の画像を生成する）などの最近のブレークスルーによって効果的であります。異なるデータモダリティ間の境界が不明瞭になるにつれて、複数のモダリティ間の関係を活用するAIアプリケーションがさらに増えることが予想され、フィールド全体でパラダイムシフトが起こります。アドホックなアプローチは徐々に時代遅れになり、さまざまなモダリティ間の関連を理解する重要性はますます高まるでしょう。出典：https://jina.ai/news/paradigm-shift-towards-multimodal-ai/ マルチモーダルLLMの働き方テキストのみの言語モデル（LLM）は、言語を理解し生成するためのトランスフォーマーモデルによって動作します。このモデルは入力テキストを「単語埋め込み」と呼ばれる数値表現に変換します。これらの埋め込みは、モデルがテキストの意味と文脈を理解するのに役立ちます。トランスフォーマーモデルは、その後、「アテンションレイヤー」と呼ばれるものを使用して、入力テキストの異なる単語どうしの関係を処理し、出力の最も可能性の高い次の単語を予測します。一方、マルチモーダルLLMは、テキストだけでなく、画像、音声、ビデオなどの他のデータ形式も扱います。これらのモデルは、テキストと他のデータタイプを共通のエンコーディング空間に変換するため、すべてのデータタイプを同じメカニズムで処理することができます。これにより、モデルは複数のモダリティからの情報を組み込んだ応答を生成し、より正確かつコンテキストに即した出力が可能となります。マルチモーダル言語モデルの必要性 GPT-3やBERTのようなテキストのみのLLMは、記事の執筆、メールの作成、コーディングなど、幅広いアプリケーションに利用されています。ただし、このテキストのみのアプローチは、これらのモデルの制限も浮き彫りにしました。言語は人間の知能の重要な部分ですが、それは私たちの知覚や能力の一側面を表すだけです。私たちの認知能力は、過去の経験や世界の動作の理解によって大きく形成された無意識の知覚と能力に大きく依存しています。テキストだけで訓練されたLLMは、常識や世界の知識を組み込む能力に制限があります。トレーニングデータセットを拡大することはある程度役立つかもしれませんが、これらのモデルはまだ知識の予期せぬギャップに遭遇する可能性があります。マルチモーダルアプローチは、これらの課題のいくつかを解決することができます。これをよりよく理解するために、ChatGPTとGPT-4の例を考えてみましょう。 ChatGPTは非常に有用な言語モデルであり、多くのコンテキストで非常に役立つことが証明されていますが、複雑な推論などの領域では制限があります。…

何でもセグメント化、しかしより速く！このAIアプローチはSAMモデルの速度を向上させます

画像内のオブジェクトの検出は、コンピュータビジョンにおける長期の課題です。オブジェクト検出アルゴリズムは、オブジェクトの周りにボックスを描いて位置を特定し、セグメンテーションアルゴリズムはピクセル単位でオブジェクトの境界を決定しようとします。画像セグメンテーションは、意味的な意味や視覚的な特徴に基づいて画像を異なる領域やオブジェクトに分割することを目指しています。これは、オブジェクト認識、シーン理解、自動運転、医療画像など、さまざまなアプリケーションにおいて重要です。これまでに、この難しい問題に取り組むために数多くの手法やアルゴリズムが開発されてきました。従来の手法では手作業で特徴を設計し、最近の進歩ではディープラーニングモデルによるモデルが登場しました。これらのモダンな手法は驚異的な進歩を遂げ、最先端のパフォーマンスを達成し、画像理解と分析の新たな可能性を開いています。しかし、これらのモデルには根本的な制約がありました。それらは訓練セットで見たオブジェクトに制約され、残りのオブジェクトをセグメンテーションすることができませんでした。そして、画像セグメンテーションのゲームを完全に変えたSegment Anything Model（SAM）が登場しました。ユーザーのインタラクションプロンプトに基づいて画像内の任意のオブジェクトをセグメンテーションする能力を持つ画期的なビジョンモデルとして登場しました。これはTransformerアーキテクチャに基づいて構築され、広範なSA-1Bデータセットで訓練され、驚異的なパフォーマンスを発揮し、Segment Anythingとして知られる新たなエキサイティングなタスクへの可能性を開いています。その汎用性とポテンシャルにより、さまざまな将来のビジョンアプリケーションの基盤となる可能性があります。しかし、SAMには完璧な点がありません。このようなパワーにはコストがかかります。SAMにとっては、複雑さがそれです。実用的なシナリオでの適用が困難になるほど計算的に要求が高いです。計算リソース要件は、特にSAMのアーキテクチャの中核を成すビジョンTransformer（ViTs）に関連しています。 SAMをより速くする方法はあるのでしょうか？答えは「はい」であり、それが「FastSAM」と呼ばれるものです。 FastSAMは、SAMモデルの産業アプリケーションへの高い需要に応えるために提案されました。FastSAMは、SAMの実行を大幅に高速化し、実用的なシナリオでの適用を可能にします。 FastSAMは、SAMをかなり高速化します。出典: https://arxiv.org/pdf/2306.12156.pdf FastSAMは、セグメントアニシングタスクを2つの連続したステージに分割します：全インスタンスセグメンテーションとプロンプトガイド付き選択です。第1ステージでは、畳み込みニューラルネットワーク（CNN）ベースの検出器を使用して、画像内のすべてのインスタンスのセグメンテーションマスクを生成します。第2ステージでは、ユーザープロンプトに対応する関心領域を出力します。CNNの計算効率を活用することで、FastSAMはパフォーマンス品質を損なうことなく、リアルタイムのセグメントアニシングモデルの実現可能性を示します。 FastSAMの概要。出典: https://arxiv.org/pdf/2306.12156.pdf FastSAMは、YOLACT手法に触発されたインスタンスセグメンテーションブランチを備えたオブジェクト検出器であるYOLOv8-segに基づいています。このCNN検出器をSA-1Bデータセットのわずか2％で訓練することで、FastSAMはSAMと同等のパフォーマンスを達成しながら、計算要件を劇的に削減します。提案された手法は、MS COCOでのオブジェクト提案を含む複数のダウンストリームのセグメンテーションタスクでその有効性を証明し、NVIDIA RTX 3090上で単一のプロポーザルの平均リコールにおいてSAMを上回りながら50倍高速化されました。

「ファインチューニング中に埋め込みのアニメーションを作成する方法」

「機械学習の分野では、ビジョントランスフォーマー（ViT）は画像分類に使用されるモデルの一種です従来の畳み込みニューラルネットワークとは異なり、ViTはトランスフォーマーアーキテクチャを使用します…」

「Transformerモデルの実践的な導入 BERT」

ハンズオンチュートリアルでBERTを探索してください：トランスフォーマーを理解し、プレトレーニングとファインチューニングをマスターし、PythonとHugging Faceを使用して感情分析を実行します

「Text2Cinemagraphによるダイナミックな画像の力を探索：テキストプロンプトからシネマグラフを生成するための革新的なAIツール」

もしこの用語について初めて知ったのなら、シネマグラフについて何か疑問に思うかもしれませんが、おそらくすでに見かけたことがあるでしょう。シネマグラフは、特定の要素が連続的な動きを繰り返す一方で、他のシーンは静止しているビジュアルに魅了されるイラストです。それらは画像ではありませんが、ビデオとも分類できません。特定の瞬間を捉えながら、ダイナミックなシーンを特色付けるユニークな方法を提供します。シネマグラフは、社会メディアプラットフォームや写真共有サイトでのショートビデオやアニメーションGIFとして人気を集めています。また、オンライン新聞、商業ウェブサイト、仮想会議でもよく見られます。しかし、シネマグラフを作成することは非常に困難な作業であり、カメラを使用してビデオや画像を撮影し、シームレスなループ動画を生成するために半自動の技術を利用する必要があります。このプロセスには、適切なフッテージを撮影すること、ビデオフレームを安定化させること、アニメーション化された領域と静止した領域を選択すること、モーションの方向を指定することなど、多くのユーザーの関与が必要とされます。本記事で提案されている研究では、新たな課題であるテキストベースのシネマグラフの合成に取り組み、データキャプチャと労力のかかる手作業を大幅に減らすことが目指されています。この研究で提案されている手法は、「水の落下」と「流れる川」といったモーション効果を捉えることが困難な、静止画や既存のテキストから画像への変換技術を用いたモーション合成です。重要な点は、この手法によってシネマグラフで実現可能なスタイルと構図の範囲が広がり、コンテンツクリエーターが多様な芸術的スタイルを指定し、想像力豊かなビジュアル要素を表現できることです。この研究で紹介されている手法は、現実的なシネマグラフと創造的または異世界的なシーンの両方を生成する能力を持っています。現在の手法は、この新しい課題に対処する際に重要な課題に直面しています。一つのアプローチは、芸術的な画像を生成し、それをアニメーション化するためのテキストから画像への変換モデルを利用することです。しかし、単一の画像に対して動きを生成する既存のアニメーション手法は、主に実際のビデオデータセットで訓練されているため、芸術的な入力に対して意味のあるモーションを生成することが困難です。個々のシネマグラフを作成し、多様な芸術的スタイルを含む大規模なループ動画データセットを構築することは複雑であり、実用的ではありません。また、テキストベースのビデオモデルを直接利用してビデオを生成する方法もあります。ただし、これらの手法では、静止した領域に目立つ時間的なチラつきのアーティファクトを導入する場合があり、望ましい半周期的なモーションを生成できないことがあります。本研究では、実際のビデオ用に設計されたアニメーションモデルと芸術的な画像との間のギャップを埋めるために、ツインイメージ合成に基づいたText2Cinemagraphというアルゴリズムが提案されています。この手法の概要は、以下の画像に示されています。 https://arxiv.org/abs/2307.03190 この手法では、ユーザーが提供するテキストプロンプトから2つの画像が生成されます – 一つは芸術的で、もう一つは現実的な画像であり、同じ意味のレイアウトを共有しています。芸術的な画像は最終的な出力のスタイルと外観を表し、現実的な画像は現在のモーション予測モデルがより簡単に処理できる入力として機能します。現実的な画像に対してモーションが予測された後、この情報は芸術的な画像に転送され、最終的なシネマグラフの合成が可能になります。現実的な画像は最終的な出力として表示されるわけではありませんが、既存のモデルと互換性がありながら芸術的な画像のセマンティックレイアウトに似た中間層として重要な役割を果たします。モーション予測を向上させるために、テキストプロンプトと現実的な画像のセマンティックセグメンテーションからの追加情報が活用されます。以下に結果が報告されています。 https://arxiv.org/abs/2307.03190 これは、リアルなシネマグラフの生成を自動化するための革新的なAI技術であるText2Cinemagraphの概要でした。もし興味があり、この研究についてさらに詳しく知りたい場合は、以下のリンクをクリックして詳細情報を見つけることができます。

「いや、いや、そこには置かないで！このAIメソッドは拡散モデルを使って連続的なレイアウト編集が可能です」

この時点で、テキストから画像への変換モデルは誰もが馴染んでいます。昨年の安定した拡散のリリースと共に登場し、それ以来、多くのアプリケーションで使用されてきました。さらに重要なことに、AIによって生成された画像と本物の画像を区別するのが困難になるほど、ますます向上してきました。テキストから画像への変換モデルは、言語と視覚的理解のギャップを埋める画期的な技術です。テキストの記述に基づいてリアルな画像を生成する驚異的な能力を持っています。これにより、コンテンツ生成とビジュアルストーリーテリングの新たなレベルが開放されます。これらのモデルは、深層学習と大規模なデータセットの力を活用しています。これらは自然言語処理（NLP）とコンピュータビジョン（CV）の最先端の融合を表しています。深層ニューラルネットワークと高度な技術を使用して、単語の意味を視覚的な表現に変換します。プロセスは、まずテキストエンコーダによって始まります。このエンコーダは、入力のテキスト記述を意味のある潜在表現にエンコードします。この表現は、言語と画像のドメインを結ぶ役割を果たします。次に、画像デコーダがこの潜在表現を取り、与えられたテキストに合致する画像を生成します。モデルは、テキスト-画像のペアのデータセットから学習する反復的なトレーニングプロセスを通じて、テキスト記述に表現される細部を捉える能力を徐々に磨きます。しかし、テキストから画像への変換モデルの主な問題は、画像のレイアウトの制御における制約です。この分野での最近の進歩にもかかわらず、テキストを通じて正確な空間関係を表現することは依然として難しいです。連続的なレイアウト編集の重要な障害は、オブジェクトの位置を再配置および編集する必要がある一方で、元の画像の視覚的な特性を保持する必要があることです。この制約を克服する方法はあるでしょうか？それでは、連続的なレイアウト編集と出会う時がきました。これは、単一入力画像のための革新的なレイアウト編集を提案する新しい研究です。従来の方法では、単一の画像内の複数のオブジェクトの概念を学習することが難しいという課題がありました。その理由の一つは、テキストの記述はしばしば解釈の余地を残し、特定の空間的関係、詳細なディテール、微妙な視覚的属性を捉えるのが困難になることです。さらに、従来の方法では、オブジェクトを正確に整列させること、位置を制御すること、または提供されたテキスト入力に基づいてシーン全体のレイアウトを調整することが難しい場合があります。提案された方法の概要。出典：https://arxiv.org/pdf/2306.13078.pdf これらの制約を克服するために、連続的なレイアウト編集はマスクされたテキストの逆転という新しい手法を使用しています。異なるオブジェクトの概念を分離し、それぞれのトークンに埋め込んで、提案された方法は各オブジェクトの視覚的特性を効果的に捉えることができます。このブレイクスルーにより、オブジェクトの配置を正確に制御し、視覚的に魅力的なレイアウトを生成することができます。この方法は、diffusionモデルを用いたトレーニングフリーの最適化手法を使用してレイアウト制御を実現します。その核心アイデアは、拡散プロセス中にクロスアテンションメカニズムを反復的に最適化することです。この最適化は、指定されたオブジェクトとレイアウト内の指定された領域との整列を優先する領域損失によってガイドされます。オブジェクトのテキスト埋め込みと対応する領域との間のより強いクロスアテンションを促すことで、この方法は追加のトレーニングや事前学習モデルの微調整を必要とせずに、オブジェクトの位置に対する正確かつ柔軟な制御を可能にします。提案された方法は、複数のオブジェクトを持つ単一の画像のレイアウトを連続的に編集することができます。出典：https://arxiv.org/pdf/2306.13078.pdf 連続的なレイアウト編集は、単一の画像のレイアウト編集において他のベースライン技術よりも優れています。さらに、ユーザーインターフェースを備えたインタラクティブなレイアウト編集が含まれており、デザインプロセスを向上させ、ユーザーにとって直感的になります。

「DISCOに会おう：人間のダンス生成のための革新的なAI技術」

生成AIは、コンピュータビジョンのコミュニティで大きな関心を集めています。テキストに基づく画像およびビデオ合成の最近の進歩（Text-to-Image（T2I）およびText-to-Video（T2V）など）、拡散モデルの登場により、顕著な忠実度と生成品質が示されました。これらの進歩は、画像およびビデオの合成、編集、アニメーションの潜在能力を示しています。ただし、合成された画像/ビデオは、特に人間中心の人間ダンス合成などの人間ダンス合成の歴史が長いにもかかわらず、合成されたコンテンツと現実世界のダンスシナリオの間には大きなギャップがあります。 Generative Adversarial Networks（GAN）の時代から、研究者は、ソースビデオからターゲット個人にダンス動作を転送するためのビデオからビデオへのスタイル変換を拡張するために、しばしばターゲット人物への人間特有の微調整を必要とします。最近の一連の研究では、事前にトレーニングされた拡散ベースのT2I/T2Vモデルを使用して、テキストプロンプトに基づいてダンス画像/ビデオを生成することが提案されています。このような粗い制御条件は、ユーザーが予想される主題（人間の外観）やダンスの動き（人間のポーズ）を正確に指定することをほとんど不可能にします。 ControlNetの導入により、ジオメトリヒューマンキーポイントとのポーズ制御を組み合わせることで、この問題が部分的に緩和されますが、テキストプロンプトに依存するため、制御ネットがリファレンスイメージの人間の外観などの豊かな意味の一貫性を確保できるかどうかは明確ではありません。さらに、限られたダンスビデオデータセットでトレーニングされたほとんどすべての既存の手法は、限られた主体属性または極度に単純化されたシーンと背景のいずれかに苦しんでいます。これは、人間の主体、ポーズ、および背景の未知の組成に対するゼロショットの一般化能力が低くなる原因となります。ユーザー固有のショートビデオコンテンツ生成などの現実のアプリケーションをサポートするためには、人間のダンス生成は実世界のダンスシナリオに準拠する必要があります。したがって、生成モデルは、以下の特性を持つ人間のダンス画像/ビデオを合成することが期待されています：忠実度、一般化能力、および合成性。生成された画像/ビデオは、参照画像と一貫性のある人間の主体と背景の外観を保持しながら、提供されたポーズを正確に追従することによって、忠実度を示すべきです。モデルはまた、ユーザー固有の微調整を必要とせずに、未知の人間の主体、背景、およびポーズを扱うことによって、一般化能力を示すべきです。最後に、生成された画像/ビデオは、異なる画像/ビデオから取得された人間の主体、背景、およびポーズの任意の組み合わせを可能にする合成性を示すべきです。この点において、DISCOと呼ばれる画期的なアプローチが提案されています。DISCOのアプローチの概要は、以下の図に示されています。 https://arxiv.org/abs/2307.00040 DISCOは、改善された忠実度と合成性のための分離制御を持つ画期的なモデルアーキテクチャと、より優れた一般化能力のための人間属性事前トレーニングという2つの主要な設計を組み合わせています。DISCOの画期的なモデルアーキテクチャは、生成されたダンス画像/ビデオが望ましい人間の主体、背景、およびポーズを忠実に捉える一方で、これらの要素の柔軟な組み合わせを可能にします。さらに、分離制御は、モデルが忠実な表現を維持し、多様な組成を受け入れる能力を向上させます。さらに、DISCOは、人間属性の事前トレーニング戦略を使用して、モデルの一般化能力を強化します。この事前トレーニング技術により、モデルは未知の人間属性を処理する能力を備えるため、トレーニングデータの制限を超えた高品質のダンスコンテンツを生成することができます。全体として、DISCOは、洗練されたモデルアーキテクチャと革新的な事前トレーニング戦略を組み合わせた包括的なソリューションを提供し、現実のダンスシナリオでの人間のダンス生成の課題に効果的に対処します。以下に結果を示し、人間のダンス生成の最新技術とDISCOとの比較を行います。 https://arxiv.org/abs/2307.00040 これはDISCOの要約です。DISCOは、人間のダンスを生成するための新しいAI技術です。興味があり、この研究についてもっと詳しく知りたい場合は、以下のリンクをクリックしてさらなる情報を見つけることができます。

「このように考えて私に答えてください：このAIアプローチは、大規模な言語モデルをガイドするためにアクティブなプロンプティングを使用します」

最近の数ヶ月で、ChatGPTの導入により私たちは大規模な言語モデル (LLM) によく馴染みました。それは私たちの日常生活で欠かせないツールとなりました。LLMは情報検索、チャットサポート、執筆補助などに有用です。一般的に、LLMは強力な推論能力を持っており、与えられた情報に基づいて論理的な推論や演繹を行い、解決策にたどり着くことができます。彼らは推論を行い、結論を導き出し、情報の断片を論理的に結びつけることができます。例えば、「数列があるとします: 2, 4, 6, 8, 10, … 次の数は何ですか？」という質問に答えることができます。推論タスクは、より単純な言語理解タスクよりも難しいとされており、より高いレベルの理解力と推論能力を必要とします。LLMはそれに長けていますが、複雑な推論タスクで優れたパフォーマンスを発揮するように求めると、事態は変わってきます。 LLMを導く一つの方法は、文脈に即した学習です。これは、メインの要求を送る前に、LLMに実際に尋ねたい内容を教えるために、一連の質問と回答の例を与えるものです。例えば、「数列があるとします: 2, 4, 6, 8, 10, … 次の数は何ですか？」というプロンプトを「Q: 数列があるとします: 2, 4, 6,…

Learn more about Search Results arXiv - Page 21