SDGsの分類 研究テーマ 自然科学 学科の分類 情報科学部情報知能学科 超弦理論から見た時間・空間・物質の双対性 情報科学部 情報知能学科 基礎物理学研究室 木村哲士 教授 超弦理論時空のコンパクト化T-双対性 アインシュタインの相対性理論により、時間・空間・物質は互いに影響を及ぼしているとされました。この視点は現在の観測結果と矛盾していません。しかしながら、我々はこの世界が何故「時間は1つ」「空間は3方向」「物質はクォークとレプトン」「質量の起源はヒッグス粒子」「力は4種」で構成されているのかをいまだ説明できていません。 10次元時空から4次元時空へのコンパクト化 物質の根源は大きさを持たない点粒子ではなく、プランクスケール程度(~10−35m)に拡がった弦だとすれば、時間・空間・物質・力すべてを「弦の振動モード」という単純な記述で表現できるのではないか、さらには困難とされた「一般相対論と量子論の融合」が可能になるのではないか、と期待されるようになりました。これを超弦理論といいます。ただ、超弦理論は10次元時空でのみ成立するので、現実的ではないとされ一時期廃れました。しかし1980年代に「私達の認識できない6次元空間が、ある特殊な幾何学(Calabi-Yau空間)として小さくコンパクト化されていると考えれば、私達が住む4次元時空の時間・空間・物質の成り立ちが説明できる」という研究成果が登場して以来、現在まで大きく進展しています。 6次元Calabi-Yau空間を便宜上2次元面に射影した図。 トーラスにコンパクト化された時空上を伝搬する弦と、巻き付いた弦とのT-双対性 弦の運動を理論的に調査すると、アインシュタインの一般相対論などでは見えなかった時空構造の「双対性」が発現します。左図上側にあるように、半径のシリンダー状の時空上を伝搬する弦の質量スペクトルと、左図下側にある半径 のシリンダー状の時空に巻き付く弦の質量スペクトルは等価であるといいます。つまり物理現象としてまったく同一であることになります。これを「T-双対性」と呼びます。上記のCalabi-Yau空間に対してこのT-双対性を応用すると、それまでは別々に考えられていた4次元時空上の物理現象が互いに関係するのではないかとみなされるようになりました。 超弦理論が示す時空構造の追究 この宇宙の形を理解しようするため、私達は超弦理論によるT-双対性を応用しています。例えば右図のように、ある特殊な物体(エキゾチックブレーン:図の中央)の周囲を一巡すると、その動きに合わせてコンパクト空間は一般座標変換と同時にT-双対性が施されます。これをT-foldと呼びます。一般相対論では不可思議にみえるこのT-foldは超弦理論においてはきちんと説明できる自然な時空解になります。このような構造が実際に宇宙で観測されるならば、超弦理論は「時間・空間・物質」の根源を解き明かす根源的な理論であろうという期待がますます高まります。私達は数学的・物理的に可能な現象を理論的に構築し検証することで、この宇宙の時空構造がどのように成り立っているのかを理解しようと追究し続けています。 T-fold を与えるエキゾチックブレーン ( 5 2 2 と書かれた中央の物体)。 研究者INFO: 情報科学部 情報知能学科 基礎物理学研究室 木村哲士 教授 研究シーズ・教員に対しての問合せや相談事項はこちら 技術相談申込フォーム 0
0 紀ノ定 保礼 交通安全のためのヒューマンファクター研究 交通事故を低減するためには,情報工学的な技術の開発だけでなく,それらの技術を利用する・技術の恩恵を受ける人間そのものの理解が必須です.本研究室では,認知科学・心理学を基盤としたヒューマンファクター研究により,社会の安全性や快適性,生産性の向上に寄与することを目指します.
0 中西 淳 大規模言語モデルが切り拓く新しい語彙学習法 現在、外国語学習者向けの語彙選択問題の自動生成・評価システム(CAVES)を開発しています。CAVESは、語彙の使い分けトレーニングに特化した学習支援システムです。大規模言語モデルを活用しており、GPTによる無限の問題生成と学習者レベルに合わせた調整、BERTによる確率に基づいた詳細な採点が特徴です。システムの使用方法は簡単で、単語選択、難易度設定、問題生成、解答、評価の流れで進みます。今後の精度向上により、語学学習の効率化と個別化が期待されています。
+1 平 博順 日本語機能表現解析技術 私たちの研究室では、複数の形態素から構成され,一つの機能語として働く表現である日本語機能表現について、入力文中の機能表現と特定と意味解析を行う技術の精度向上に取り組んでいます。
0 江口 翔一 時系列データを用いたモデル化 近年の計算機システムの発展と利用環境の向上により、諸科学や産業界のあらゆる分野でデータが蓄積されている。このようにして大量に蓄積されたデータから、 その背後にある自然現象や社会現象のような複雑かつ不確実な現象を読み解くには、データから本質的な情報を抽出するための手法の開発が不可欠である。このとき、不確実現象の解明と予測、知識獲得のために重要な役割を果たすのが現象のモデル化であり、時系列データを用いた現象のモデル化の問題に取り組む。
+1 鎌野 健 大野関数の解析的性質について 画像の関数を大野関数といい,互いに双対なインデックスに対する大野関数は,複素関数として等しいことが知られている.特に0以上の整数点での値を考えると多重ゼータ値の理論における大野関係式が導かれるため,それは大野関係式を補間したものであるといえる.本研究では,大野関数が積分表示を持つことを示し,それにより大野関係式の補間の別証明を与えた.
+2 鎌倉 快之 トモグラフィー画像の3次元可視化プログラムの作成 X線CTやMRIなどで撮影したトモグラフィー像(断層画像)の中から,注目領域だけを検出したり,立体構造を想像することは容易ではありません.画像処理技術や手法の応用により,注目領域のセグメンテーションとラベリング,立体構造の再構成を行い,三次元可視化するためのソフトウェアの開発に取り組んでいます.
+1 藤元 章 「人類の危機への挑戦」をテーマにした課題解決型授業 [概要] 大阪工業大学の工学部では,PBL(ProblemあるいはProject-Based Learning)を基軸とした教育カリキュラムを実施しています。1年次では各学科の専門分野に関連した課題の実験・実習的なPBLを行い,2年次生には物理学,地球科学,生物科学の分野横断型PBLを提供しています。2015年度から2018年度まで「火星移住計画」を題材にして, 2019年度から2022年度まで「太陽系ツアー」を題材にして進めてきました。そして, 2023年度からは,惑星・宇宙の枠を飛び出して,「人類への危機への挑戦」をテーマにしたPBL型授業を進めています。
+2 荒木 英夫 加速度センサを用いた歩行状態計測による体調の推定 加速度センサを用いて被験者が歩行している際の体の揺れを測定することにより、被験者の体調変化を検出することを目指す。具体的な想定として、高齢者を対象とした生活改善を目指したプログラムを実施した際にその効果やプログラムへの満足度を評価することは難しく、一般的にはアンケート等を取ることにより評価を行っている。そこで高齢者である被験者に邪魔にならない程度のデバイスを身に着けてもらい、プログラムの前後において歩行時のリズムや重心のブレ方が変化するかを測定しその結果から体調の変化を検出することを目指す。
0 水谷 泰治 図形アニメーションに基づいた学習用並列プログラミング環境を用いたプログラミング演習 マルチコアCPUの性能を最大限に活用してプログラムを高速実行するためには並列プログラムを作成する必要がある。しかし、一般に並列プログラミングの学習は初学者にとっては容易ではない。その理由として、並列プログラミング自体が難しいことに加え、初学者には馴染みの薄い数値計算問題を題材とすることが多いこと、大規模な計算でない限り並列化の効果を実感しにくいことなどから、初学者の興味を維持しにくいことが考えらえる。本研究では並列化の効果を体感しやすく、かつ、平易な教材を扱える並列プログラミングの学習環境としてProcessing言語を用いた図形アニメーションプログラムのための並列化フレームワークを提案する。また、本環境を用いた並列プログラミング演習を実施するための教材も開発する。さらに、その教材を用いた演習も実施する。
0 田岡 育恵 英文和訳で現れる逆接表現 翻訳小説を見れば、原文の英語には、but やhoweverのような逆接表現がないのに、和訳には、「しかし」や「けれども」のような逆接表現が補われていることが多い。何故、そのようなことが起こるのだろうか。Agatha Christieの "Hercule Poirot's Christmas"とその翻訳『ポワロのクリスマス』(村上啓夫訳、川副智子訳)からの例で観察すれば、含意の否認や対比を明確にするため、発言を婉曲にするため、ということが考えられる。また、逆接表現を用いたがために、読み手を逆接の認識に導くということも起こる。
+1 小林 正治 キノコの機能を成分化学的に解明する きのこは古くから万病予防の健康食材として利用され、漢方薬や健康補助食品の有効成分としても配合されていますが、その効能が必ずしも分子レベルで解明されているわけではありません。私たちは類例のない抗認知症作用をもつきのこ「ヤマブシタケ」に注目し、その特徴的な有機低分子成分の化学合成と生物活性検定によってきのこの効能を単分子レベルで理解・解明することを目指しています。今までに30種以上の低分子成分を合成し、そのいくつかに神経細胞保護効果があることを見出しました。
0 濵田 悦生 新型コロナウイルスに関するオープンデータを利用した実践的な教育法 厚生労働省が提供する新型コロナウイルス感染症に関するデータはオープンデータである。2020年から2022年までの新型コロナウイルスの実データとしては大変貴重なものになっている。このデータは全国で収集された、PCR検査数、PCR陽性者数、重症者数、死亡者数などを含むが、単回帰モデルやシンプルな時系列モデルを適用することによって、学部3年生向けのPBL教材で使うことの出来そうな実例分析を作成することが見込まれる。学生にとっても非常に身近で切実なデータであり、その教育的効果は高く、より実践的な題材となろう。また、政府による緊急事態宣言による新型コロナウイルスへの影響に関しても、Granger 因果性の検討も行ったので、政策の効果検証としても有用であろう。
0 小谷 直樹 強化学習エージェントの学習能力の向上 近年,人工知能・機械学習技術の発展もあり,これらの知能化技術をロボットの環境適応能力や自律性の付与の手段として用いることが期待されています.しかし,強化学習を含む機械学習は,一般的に多くの学習時間を必要とする根本的な問題を抱えています.従って,学習時間を短縮することが,実時間で学習する実ロボットにとって,特に解決すべき重要な課題です.私達は,遺伝的アルゴリズムの概念で説明した学習高速化手法や利用者にとって望ましい結果を得やすくなるような報酬設計手法等について研究を行うことで,より高度な知能を持つロボットの実現を目指しています.
+1 尾崎 敦夫 意思決定支援向けAI・マルチエージェント・モデリング&シミュレーション技術 近年、交通・監視・管制・指揮等の分野では、AI(人工知能)技術の適用により、システムの自動化・高性能化が推進されています。このようなシステムでは、現況を正確に「認識」し、次に起こる状況を高速に「予測」して、「実行」に移すことが求められています。しかし、危機管理などのミッションクリティカルなシステムでは、「実行」(意思決定)までを全てAIに託すには多くの技術的・運用的課題があります。このため、このようなシステムでの意思決定支援をするための研究開発に挑んでいます。
+1 河合 紀彦 VRのための360度全方位画像・映像からの撮影者や動物体の消去 手に持って簡単に撮影できる全方位カメラ(360度カメラ)が普及し、気軽に360度全方位画像・映像を取得できるようになってきました。このような画像や映像は、Googleストリートビューや不動産サイトでの物件内覧といったVRシステムに利用され、ユーザが好きな方向を見回すことができます。しかし、全方位カメラによる撮影では、その撮影者や周辺の動物体も画像・映像中に映り込んでしまうことが多く、そのままの画像をVR用途で使うことはできません。そこで本シーズでは、複数の画像を合成することで撮影者や動物体を全方位画像から消去します。
+2 村木 祐太 疑似HDRによる単一画像からの露出補正 HDRは露光の異なる複数枚の画像を用いることで視認性を回復する手法であり,広く利用されている.しかし,移動する被写体において不向きであるとともに,過去に撮影された画像に使用することができない.そこで本研究では,一枚の画像から疑似的に多重露光画像を生成 し,それらを合成することで視認性の回復を行う手法を提案する.本手法は,自然界の色情報を完全に損失していない画像を対象とし,エッジ情報を用いて明度を自動調整することで,疑似多重露光画像を生成する.
0 中西 真悟 スキップ型重み付きGibonacci数列を得るための修正パスカル三角形の演算アルゴリズム パスカルの三角形の構造を修正するだけで様々な数列が作成できるだけではなく,その初項や二項の設定を変えた一般形を示すための演算アルゴリズムを紹介します.そのためにスキップ型にモデリングする数列の発想が大切になります.線形代数を用いてエレガントに演算できる方法が分かりました.また,その原理にシフト演算が欠かせないことも分かりました.それでは,お楽しみにください.
+2 宮脇 健三郎 ROSプログラミング研修のためのオリジナルロボット ROS(Robot Operating System)はロボット制御ソフトウェアの効率的な開発を実現するツール・ライブラリ群のセットで,世界中でロボットの研究・開発に利用されています. 本シーズはROSを通じたロボットのプログラミング研修に適したオリジナルのロボットを提供するものです.このロボットはハードウェアの構造も比較的分かりやすいように設計されているため,ソフトウェアの研修を終えた後に自分自身でロボットを構築する手助けとなります. 実際に提案するロボットを使ったROSの技術セミナーを開催し,参加者からは好意的な評価を得ています. また,大阪工業大学情報科学部でもPythonやC++によるロボット制御プログラミングを学ぶための教材としてゼミやPBL(Project Based Learning)で活用しています. ゼミやPBLにおいては小型の車輪移動ロボットと中・大型のロボットを使い分け,効率的に学習を進められるように配慮しています. 市販の大型ロボットは高価なものが多いですが,独自に設計・製作したロボットは低コストで手軽に利用可能です. 4足歩行ロボットや車輪移動型ロボットに装着するアーム等も製作しており,様々な研修用ロボットの製作ノウハウを有しています.
0 椎原 正次 生産スケジュール改善サイクルの開発 生産スケジュール改善サイクルは、ロット分割を段階的に進めることにより、段取り回数の増加を抑えつつ良好なスケジュールを得るための仕組みである。ロット分割は、生産スケジュール改善のための有効な手法の一つであるが、分割によってロット数が増えることになる。その結果として、総段取り時間が増加するだけではなく生産統制を複雑にしてしまう。このサイクルは四つのフェーズから構成され、受け入れ可能な生産スケジュールが得られるまで繰り返す。多目的最適化も可能である。
0 安留 誠吾 初等中等教育向けロボットプログラミング学習環境 2020年度から小学校においてプログラミング教育が必修化された。小学校では、ビジュアルブロックエディタを利用したプログラミングが想定されるが、中学校、高校では、テキストエディタを利用することになる。そこで、ビジュアルブロックエディタからテキストエディタへの移行をスムーズに行えるように、両エディタに対応したロボットプログラミング学習環境を開発した。また、教員の負担を軽減するための教員支援システムも開発した。