九州⼤学マス・フォア・インダストリ研究所
2024 年度 共同利⽤研究計画公募要領

本研究所は⽇本初の産業数学の研究所であり，多様な数学研究に基礎を置く，新しい産学連携の拠点として 2011 年 4 ⽉に附置研究所として設⽴されました．2013 年 4 ⽉には⽂部科学⼤⾂から共同利⽤・共同研究拠点「産業数学の先進的・基礎的共同研究拠点」に認定され，理念である「マス・フォア・インダストリ」の具現化を推進しているところです．その事業の⼀環として，本研究所は 2024 年度の共同利⽤研究を下記の通り公募します．

1. 概要
種⽬
種別

研究集会(I)

研究集会(II)

短期共同研究

短期研究員

--

1

1

(40 万円)(20 万円)---2

7

122(80 万円)(40 万円)(40 万円)(20 万円)4713

3

プロジェクト研究

国際プロジェクト

2(80 万円)

⼥性研究者
若⼿・学⽣研究

⼀般研究

合計

合計

222516272. 公募する研究種別(1) プロジェクト研究「プログラム検証を⽀える数学の形式化基盤の研究開発」
プロジェクト代表者：
AFFELDT Reynald (産業技術総合研究所)
溝⼝ 佳寛（九州⼤学マス・フォア・インダストリ研究所）
概要：

今⽇のコンピュータプログラムは, デジタル情報の操作やネットワーク通信に加えて, センサーやアクチュエーター等による外界との相互作⽤も⾏います. それらのプログラム検証には, 形式論理や離散数学だけではなく, 実解析・確率論・幾何学などの数学も必要になります. 本プロジェクト研究では, 関連するプログラム検証に関する議論のみならず, それらの正当性を保証する数学の形式化基盤の構築, および, その活⽤⽅法について広く議論する提案を公募します.
2024 年度は本テーマに関する研究計画をプロジェクト研究として他の計画と区別し，短期共同研究 11件程度，短期研究員 1 件程度公募します．
(2) 国際プロジェクト研究

このカテゴリーでは，研究代表者が海外の機関に所属していることを要件とし，研究集会(I)2 件程度公募します.
(3) ⼥性研究者活躍⽀援研究＊注

このカテゴリーでは，研究代表者が⼥性研究者であることを要件とし，研究種⽬を特に指定せずに 2件程度公募します.
(4) 若⼿・学⽣研究＊注

このカテゴリーでは，研究代表者として 2024 年 4 ⽉ 1 ⽇時点で博⼠号取得後 8 年未満（産前・産後の休暇，育児休業の期間を除く）の若⼿研究者および⼤学院⽣を対象とし，研究種⽬を特に指定せずに 5 件程度を公募します. 研究テーマとして，新しい発想に基づいた挑戦的なテーマや，将来の産学連携のシーズとなることを志向した数学に関するテーマを公募します．短期集中で⾏う具体的な共同研究だけでなく，若⼿中⼼に集まってアイデアを討議するような萌芽的なものでもかまいません．審査にあたってこれまでの研究経過や実績は重視しません．採択後，本研究所が適当な産業界の研究者を参加者もしくはアドバイザーとして紹介します．
(5) ⼀般研究＊注

このカテゴリーでは研究分野や研究代表者の属性を特に限定せずに 16 件程度公募します．
＊注(3)⼥性研究者活躍⽀援研究，(4)若⼿・学⽣研究，(5)⼀般研究の 3 つの種別合計で，研究集会(I) 2 件程度，研究集会(II)7 件程度，短期共同研究 12 件程度，短期研究員 2 件程度を公募します．

3. 公募する研究種⽬
研究集会

本研究所もしくは九州⼤学の施設において，数⽇間の研究集会を公開で⾏うものです. 内容や規模に応じて(I)(II)の 2 種類に分かれています. 組織委員と講演者には，産業界からの参加を(I) は必須とし，(II) では強く推奨します．(I)(II)ともにチュートリアル的な内容でも応募可能とします. また国際連携を進めるため，講演者として海外からの参加者を含めることが望ましい，とします．
(1) 研究集会(I)

研究テーマが課題として認知され，産学連携も視野に⼊れた展開が可能なものをこの種⽬で審査します．
（1-1）

旅費・講演謝⾦として 80 万円を上限として⽀援.

2

（1-2）

ポスターを制作・配布（1-3）

原則として，本研究所の施設を含む九州⼤学伊都キャンパスの施設で開催．
（やむを得ず伊都キャンパス以外の九州⼤学の施設，もしくは九州⼤学以外の施設での開催を希望する場合はご相談ください．
）

（1-4）

研究終了後は A4 で 2 ページ程度の成果報告書を提出．

（1-5）

会議録は本研究所の出版する「MI レクチャーノート」としてオンライン出版，もしくは，およそ半年〜1 年かけてシュプリンガー社が出版する叢書「Mathematics for Industry」の1 巻として英⽂で査読付きの会議録を責任編集者として刊⾏, いずれかの⽅法で出版.

なお，研究集会(I)は，対⾯形式・ハイブリッド形式・オンライン形式で実施可能です．
(2) 研究集会(II)研究テーマが研究集会(I)よりは萌芽的な⾊彩が強いものをこの種⽬で審査します．
（2-1）

旅費・講演謝⾦として 40 万円を上限として⽀援.

（2-2）

原則として, 本研究所の施設で開催.
（やむを得ず伊都キャンパス以外の九州⼤学の施設，もしくは九州⼤学以外の施設での開催を希望する場合はご相談ください．
）

（2-3）

1 ⽇だけの企画や予算額がゼロの応募も可．

（2-4）

研究終了後には A4 で 2 ページ程度の成果報告書を提出．

（2-5）

希望があれば会議録を本研究所が出版する「マス・フォア・インダストリ研究」シリーズの 1 巻としてオンライン出版することが可能. 応募時に希望の有無を選択すること.

なお，研究集会(II)は，対⾯形式・ハイブリッド形式・オンライン形式で実施可能です．
(3) 短期共同研究

本研究所において，⽐較的少⼈数のグループで実質的な共同研究を⾏うものです．期間に制約は設けませんが，年度内に終了することを条件とします．オンライン形式やハイブリッド形式を活⽤した計画でもかまいません．研究テーマとして，将来の産業への展開を⾒越した数学研究のような萌芽的なものから産業の問題解決に直接資する研究まで，多様な研究を⽀援しますが，個々の企業の知的財産に直結するような狭い問題よりは，複数の企業や研究機関の研究者が協⼒して取り組めるような，ある程度の普遍性をもった問題を重視します．そのために，産業界や諸科学分野からの参加を強く推奨します. また, 共同研究実施中に講演などの⼀部を公開できるように計画してください．ただし，研究発表が主となるような計画は上記の研究集会の種⽬に応募してください．
（3-1）

旅費・講演謝⾦として 40 万円を上限に⽀援．

（3-2）

原則として, 本研究所の施設で開催.
（やむを得ず伊都キャンパス以外の九州⼤学の施設，もしくは九州⼤学以外の施設での開催を希望する場合はご相談ください．
）

（3-3）

研究終了後には A4 で 3 ページ程度の成果報告書を提出．

3

(4) 短期研究員

本研究所に 1 週間から 2 週間程度滞在し，本研究所を中⼼とする九州⼤学に所属する教員と緊密に連絡を取りながら単独での研究ないしは共同研究を⾏うものです．研究テーマとして，短期共同研究や研究集会につながることが期待されるような萌芽的な課題，あるいは企業等での研究開発現場で⽣起した，集中的な共同研究が問題の解決やその⽷⼝につながるような課題など，近い将来，産業数学や産学連携の新たなシーズとなるような課題を歓迎します．応募の際は，予め関係する本研究所または九州⼤学の他部局の研究者と連絡を取り，協議をした上で計画を⽴ててください．ホストする九州⼤学の教員と協⼒してセミナー講演（研究発表，もしくは学部⽣向けの初等的な講演でもよい）をすることを奨励します．
（4-1）

旅費として 20 万円を上限に⽀援．

（4-2）

参加者には本研究所内の研究室を提供．また，必要に応じてセミナー室の使⽤も可能．

（4-3）

研究終了後には A4 で 3 ページ程度の成果報告書を提出．

なお，経費⽀援，会場の⼿配，会議録などの制作に関わる事務や，共同利⽤研究実施の際に必要な作業は研究所が⾏います．宿泊の⼿配や送迎は，原則として⾏いません．また，参加者は図書館（会場によっては利⽤できません），インターネット接続などの研究資源を利⽤することができます．研究計画の参加者から希望があれば，共同利⽤研究開催中, 施設内に臨時託児ルーム設置のための費⽤を補助します．開催の 35 ⽇前までに拠点事務室に申請が必要です．ただし，補助は⼥性研究者活躍⽀
援型研究として採択された計画を優先とし，予算を超過した場合は補助を⾏いません．

4. 公募件数と⽀援上限額種⽬
種別
プロジェクト研究

国際プロジェクト
⼥性研究者
若⼿・学⽣研究

研究集会(I)

研究集会(II)

短期共同研究短期研究員--

11(40 万円)

(20 万円)---27122(80 万円)(40 万円)(40 万円)(20 万円)

471332(80 万円)

⼀般研究

合計

合計

222
5
1627
（）は⽀援上限額

各種別や種⽬の採択予定数は⽬安であり，応募状況に応じて柔軟に運⽤します.
予算は審査の際の評価点に応じて傾斜配分します.

4以上の研究計画は，すべて 2024 年 4 ⽉ 1 ⽇から 2025 年 3 ⽉ 31 ⽇までに実施されるものとします．
なお，上記の公募とは別に，研究集会(II)と短期共同研究については，2024 年 3 ⽉ 1 ⽇〜2024 年 11
⽉ 10 ⽇の間，随時応募を受け付けます．応募は毎⽉ 10 ⽇に締め切り，審査の上で同じ⽉の⽉末までに研究代表者に採否を通知します．実施⽇の少なくとも 2 ヶ⽉前の 10 ⽇の締め切り⽇までに応募してください．予算が超過した場合は上記期間内であっても応募を締め切ります．また，⽇程が重複した場合は先に確定した研究計画を優先しますので，今回の公募を含め，早めに応募してください．締
切⽇についての詳細は本拠点のウェブページ（https://joint.imi.kyushu-u.ac.jp/）にてご確認ください．

5. 応募⽅法(1) 応募資格

⼤学・⼤学院・短期⼤学，⼤学共同利⽤機関，⾼等専⾨学校，国公⽴試験研究機関，独⽴⾏政法⼈および企業に所属する研究者，および⼤学院⽣(2) 応募⽅法

本拠点のウェブページ
https://joint.imi.kyushu-u.ac.jp/
から電⼦申請システムを利⽤して共同利⽤研究計画提案書を作成し，応募してください．採択された計画について，提案書の内容の⼀部はウェブページなどを通じて公開します．応募に必要なデータや公開する項⽬などの詳細については上記ページの説明をご覧ください．
なお，共同利⽤研究計画提案書には，研究集会，短期共同研究については本研究所内に専⾨分野が関連する研究者がいれば，その名前を記⼊してください（特にいなければ記⼊不要）．所内の関連研究者の記⼊の有無が採否に影響することはありません．
また，短期研究員の場合は，研究テーマに関連する九州⼤学の研究者の記⼊は必須です．本研究所所員や九州⼤学の研究者の専⾨分野については，
本研究所 https://www.imi.kyushu-u.ac.jp/department/academic_staffs/
もしくは九州⼤学のウェブページをご参照ください．
(3) 応募締切⽇

2024 年 1 ⽉ 31 ⽇（⽔）

6. 選考⽅法と採否の連絡
学外有識者と学内教員（本研究所所員を含む）8 名ずつで構成される共同利⽤・共同研究委員会において審査の上，採否を決定します．プロジェクト研究はプロジェクト代表者が審査し，共同利⽤・共同研究委員会で採否を決定します．また，プロジェクト研究として採択されなくとも，⼀般研究として採択する場合もあります．国際プロジェクト研究は国際プロジェクト委員会で審査の上, 採否を決5定します. 選考の際の評価によって，採択額を傾斜配分することがあります．採否は 2024 年 2 ⽉末までに応募者にお知らせします．委員の名簿は本拠点のウェブページをご覧ください．

7. その他
・研究は本研究所が⽀出する経費に外部の競争的資⾦などを加えて実施していただいても差し⽀えありませんが，主催または共催は本研究所とします．共催の機関を加える必要がある場合は，応募時にその旨を「備考」に記⼊してください．
・短期研究員以外の種⽬で，やむを得ない事情がある場合，九州⼤学以外の場所での実施を認める場
合があります．
・応募に当たって，産業界からの参加が難しい場合，研究計画に対する産業界の研究者からの推薦書（様式⾃由）を提出すれば，参加に準じるものとして扱います．
・複数年度にわたって実施することを考えている場合，2025 年度以降にどの種別に応募しどのように研究を進めていくかの希望の概要を応募時に「具体的な計画」欄に記載してください．
・研究終了後に提出していただく成果報告書は，個⼈情報などに関わる部分を除き，原則として本拠
点のウェブページで公開します．ただし，3 年間程度を限度として公開を遅らせることができます．
完了した研究の報告書は本拠点のウェブページの「採択研究・報告書⼀覧」
https://joint.imi.kyushu-u.ac.jp/research-reports/year-2023/にある各研究のページで⾒ることができます．
・会議録については，出版物のページ https://www.imi.kyushu-u.ac.jp/publication/ から MI レクチャーノート，マス・フォア・インダストリ研究のページをご参照ください．Springer 社が出版する
叢書 Mathematics for Industry については https://www.springer.com/series/13254 をご覧ください．
・⽂部科学省の指導により，共同利⽤研究から得られた成果を公表する場合，必ず謝辞を⼊れてください. また, 謝辞を掲載していただいた論⽂を発⾏された時には, 下記のフォームから, 論⽂をアップロードしていただくか, IMI 共同利⽤・共同研究拠点事務室へご連絡ください．
https://forms.gle/nnAQsrdqasjyTcmx9
・これまで問い合わせのあった事項に関して「Q&A」を本拠点のウェブページに掲載していますので，参考にしてください．
・研究計画，特に産業界との連携に関して，必要があれば本研究所の産学連携窓⼝が⽴案を⽀援します．詳細は以下の問い合わせ先にお尋ねください．

8. 問い合わせ先
九州⼤学マス・フォア・インダストリ研究所 共同利⽤・共同研究拠点事務室〒819-0395 福岡市⻄区元岡 744 Tel：092-802-4408
E-mail: imikyoten@jimu.kyushu-u.ac.jp
https://joint.imi.kyushu-u.ac.jp

6