宮島 信也 (Miyajima Shinya)

写真a

所属

岩手大学  理工学部  物理・材料理工学科  数理・物理コース 

職名

教授

出身学校 【 表示 / 非表示

  •  
    -
    2001年03月

    早稲田大学   理工学部   卒業

出身大学院 【 表示 / 非表示

  •  
    -
    2005年03月

    早稲田大学  理工学研究科  博士課程  修了

取得学位 【 表示 / 非表示

  • 早稲田大学 -  博士(情報科学)  2005年03月15日

学内職務経歴 【 表示 / 非表示

  • 2016年04月
    -
    継続中

    岩手大学   理工学部   物理・材料理工学科   数理・物理コース   教授   [本務]

研究分野 【 表示 / 非表示

  • 数値解析

 

担当授業科目 【 表示 / 非表示

  • 2016年度

    ベクトル解析

  • 2016年度

    基礎ゼミナール

  • 2016年度

    数理のひろがり

  • 2016年度

    数値解析学特論

  • 2016年度

    数理のひろがり

全件表示 >>

指導学生数 【 表示 / 非表示

  • 2023年度

    卒業研究指導(学部):3人

    学位論文審査(学部・主査):3人

    大学院研究生(修士・専門職学位課程):1人

    研究指導(修士・主任指導):1人

    研究指導(修士・第2副指導):4人

    学位授与者数(修士・主任指導):1人

    学位論文審査(修士・主査)/ 教育実践研究報告書審査(主担当):1人

    学位論文審査(博士・副査):1人

  • 2022年度

    卒業研究指導(学部):2人

    学位論文審査(学部・主査):2人

    大学院研究生(修士・専門職学位課程):1人

    研究指導(修士・主任指導):1人

    研究指導(修士・第1副指導):1人

    研究指導(修士・第2副指導):4人

    学位論文審査(修士・副査)/ 教育実践研究報告書審査(副担当):2人

    学位論文審査(博士・副査):1人

    補助教員(助教)(博士):1人

  • 2021年度

    卒業研究指導(学部):1人

    学位論文審査(学部・主査):1人

    大学院研究生(修士・専門職学位課程):1人

    研究指導(修士・主任指導):1人

    研究指導(修士・第1副指導):2人

    研究指導(修士・第2副指導):3人

    学位授与者数(修士・主任指導):1人

    学位論文審査(修士・主査)/ 教育実践研究報告書審査(主担当):1人

    補助教員(助教)(博士):1人

  • 2020年度

    卒業研究指導(学部):3人

    学位論文審査(学部・主査):3人

    大学院研究生(修士・専門職学位課程):1人

    研究指導(修士・主任指導):1人

    補助教員(修士・助教):6人

  • 2019年度

    卒業研究指導(学部):2人

    学位論文審査(学部・主査):2人

    補助教員(修士・助教):6人

全件表示 >>

教材作成 【 表示 / 非表示

  • 実例詳説 微分積分

    教材種類:教科書等の執筆

    教材年度 : 2018年度

  • 実例詳説 線形代数

    教材種類:教科書等の執筆

    教材年度 : 2014年度

学生向けの課外活動・セミナーの実施 【 表示 / 非表示

  • 2019年度

    特別研修(学部生対象)

    日時:
     2019年10月11日15:30- 岩手大学理工学部ものづくり協創工房
    講師:
     愛木豊彦(日本女子大学理学部)
    題目:
     形状記憶合金の解析に向けた弾性体の動きを記述する数理モデルとその数値計算結果について

  • 2019年度

    特別研修(学部生対象)

    日時:
     2019年12月16日15:00- 岩手大学理工学部17番講義室
    講師:
     宇佐美広介(岐阜大学工学部)
    題目:
     半線形....ではなくて“半分線形”微分方程式の紹介とその解の漸近挙動について

  • 2019年度

    特別研修(学部生対象)

    日時:
     2019年6月6日15:00- 岩手大学理工学部ものづくり協創工房
    講師:
     山中克久(岩手大学理工学部)
    題目:
     グラフ上の整列問題 〜あみだくじからパズドラまで〜

  • 2019年度

    特別研修(学部生対象)

    日時:
     2019年10月31日15:00- 岩手大学理工学部ものづくり協創工房
    講師:
     藤本勝成(福島大学共生システム理工学類)
    題目:
     協力ゲーム入門(協力から一転、対立へ。。。)

  • 2019年度

    特別研修(学部生対象)

    日時:
     2019年11月27日15:00- 岩手大学理工学部テクノホール
    講師:
     稲葉和正(岩手大学教育学部)
    題目:
     実解析的特異点のMilnor束について

全件表示 >>

その他教育活動の特記すべき事項 【 表示 / 非表示

  • 2021年度

    教育改革における特記すべき事項

    令和3年度後期岩手大学教養教育科目優秀授業表彰

  • 2021年度

    教育改革における特記すべき事項

    令和3年度岩手大学理工学部授業評価優秀教員表彰

 

論文 【 表示 / 非表示

  • Some properties concerning Perron vectors of weakly irreducible nonnegative tensors, and their application to rigorous enclosure

    Shinya Miyajima

    Linear Algebra and its Applications     2024年04月  [査読有り]

    国際的学術誌  単著

  • Fast verified computation for real powers of large matrices with Kronecker structure

    Shinya Miyajima

    Applied Mathematics and Computation     2023年09月  [査読有り]

    国際的学術誌  単著

  • Fast enclosure for the minimal nonnegative solution to the nonsymmetric T-Riccati equation

    Shinya Miyajima

    Calcolo     2022年09月  [査読有り]

    国際的学術誌  単著

  • Verified computation of matrix gamma function

    Shinya Miyajima

    Linear and Multilinear Algebra     2022年05月  [査読有り]

    国際的学術誌  単著

  • Fast verified computation for positive solutions to M-tensor multi-linear systems and Perron vectors of a kind of weakly irreducible nonnegative tensors

    Shinya Miyajima

    Journal of Computational and Applied Mathematics     2022年05月  [査読有り]

    国際的学術誌  単著

全件表示 >>

総説・解説記事 【 表示 / 非表示

  • SWoPP2020 参加報告

    宮島信也

    JSIAM Online Magazine ( 日本応用数理学会 )    2020年09月

    機関誌  

  • 第5回岐阜数理科学研究会の報告

    澤田宙広, 柘植直樹, 宮島信也

    JSIAM Online Magazine ( 日本応用数理学会 )    2016年10月

    機関誌  

研究発表 【 表示 / 非表示

  • Reconfigurable Intelligent Surfaceを用いた電子ファントムのハードウェア構成に対するMIMOレーダチャネル再構成精度の評価

    口頭(一般)  佐藤あゆみ, 新井駿斗, 滝島正博, 瀬川智尋, 村田健太郎, 本間尚樹, 宮島信也

    電子情報通信学会総合大会 

    2024年03月
     
     

  • Reconfigurable Intelligent Surfaceを用いた電子ファントム

    口頭(一般)  村田健太郎, 瀬川智尋, 新井駿斗, 小澤勇人, 佐藤あゆみ, 本間尚樹, 宮島信也

    電子情報通信学会総合大会 

    2024年03月
     
     

  • クロネッカー構造をもつ大規模行列の行列関数のトレースに対する数値的検証法

    口頭(一般)  黒田早紀, 宮島信也

    日本応用数理学会研究部会連合発表会 

    2024年03月
     
     

  • gap定理に対する別証明

    口頭(一般)  山中佑太, 宮島信也

    日本応用数理学会研究部会連合発表会 

    2024年03月
     
     

  • 非負行列のPerron根に対する下限の単調増加性

    口頭(一般)  大友海斗, 宮島信也

    日本応用数理学会研究部会連合発表会 

    2024年03月
     
     

全件表示 >>

科研費(文科省・学振)獲得実績 【 表示 / 非表示

  • 非整数階微分方程式系の解に対する精度保証付き数値計算法の研究

    基盤研究(C)

    代表者:  宮島 信也  

    支払支給期間:

    2021年04月
    -
    2026年03月

    獲得年度・受入金額(円)・間接経費(円)

    2021年度・ 1,170,000円・ 270,000円

    2022年度・ 650,000円・ 150,000円

    2023年度・ 780,000円・ 180,000円

    2024年度・ 780,000円・ 180,000円

    2025年度・ 780,000円・ 180,000円

  • 遅延微分方程式より生ずる非線形固有値問題の解に対する精度保証付き数値計算法の研究

    基盤研究(C)

    代表者:  宮島 信也  

    支払支給期間:

    2016年04月
    -
    2022年03月

    獲得年度・受入金額(円)・間接経費(円)

    2016年度・ 1,300,000円・ 300,000円

    2017年度・ 650,000円・ 150,000円

    2018年度・ 780,000円・ 180,000円

    2019年度・ 910,000円・ 210,000円

    2020年度・ 910,000円・ 210,000円

  • 固有値問題の高速かつ高品質な精度保証付き数値計算法の研究

    基盤研究(C)

    支払支給期間:

    2011年04月
    -
    2016年03月

    獲得年度・受入金額(円)・間接経費(円)

    2015年度・ 910,000円・ 210,000円

    2011年度・ 1,300,000円・ 300,000円

    2012年度・ 780,000円・ 180,000円

    2013年度・ 910,000円・ 210,000円

    2014年度・ 910,000円・ 210,000円

  • 固有値問題における,解の存在証明及び数値解の高速な精度保証法に関する研究

    若手研究(B)

    支払支給期間:

    2007年04月
    -
    2011年03月

    獲得年度・受入金額(円)・間接経費(円)

    2007年度・ 1,000,000円・ 0円

    2008年度・ 910,000円・ 210,000円

    2009年度・ 1,040,000円・ 240,000円

    2010年度・ 910,000円・ 210,000円

  • 多峰性多変数関数の、極めて正確で常に適用可能な大域的最適化を実用可能にする研究

    若手研究(B)

    支払支給期間:

    2004年04月
    -
    2007年03月

    獲得年度・受入金額(円)・間接経費(円)

    2004年度・ 900,000円・ 0円

    2005年度・ 800,000円・ 0円

    2006年度・ 1,100,000円・ 0円

その他競争的資金獲得実績 【 表示 / 非表示

  • Fast enclosure for the minimal nonnegative solution to the nonsymmetric T-Riccati equation

    全学経費(学長裁量経費を除く)

    資金支給期間 :

    2021年04月
    -
    2022年03月

    研究内容 :

    Fast enclosure for the minimal nonnegative solution to the nonsymmetric T-Riccati equation

  • AI阿吽の呼吸~食品製造工場を事例とした人間と機械, 機械と機械の協調運動獲得~

    全学経費(学長裁量経費を除く)

    資金支給期間 :

    2021年08月
    -
    2022年03月

    研究内容 :

  • Computing enclosures for the matrix Mittag-Leffler function

    全学経費(学長裁量経費を除く)

    資金支給期間 :

    2021年04月
    -
    2022年03月

    研究内容 :

    Computing enclosures for the matrix Mittag-Leffler function

  • Verified computation of real powers of matrices

    全学経費(学長裁量経費を除く)

    資金支給期間 :

    2020年04月
    -
    2021年03月

    研究内容 :

    Verified computation of real powers of matrices

  • Verified computation for the matrix Lambert W function

    全学経費(学長裁量経費を除く)

    資金支給期間 :

    1900年
    -
    継続中

    研究内容 :

    Verified computation for the matrix Lambert W function

全件表示 >>

所属学協会 【 表示 / 非表示

  • 2016年04月
    -
    継続中
     

    日本応用数理学会

  •  
     
     
     

    SIAM

  •  
     
     
     

    第50回数値解析シンポジウム実行委員会

  •  
     
     
     

    第49回数値解析シンポジウム実行委員会

学会・委員会等活動 【 表示 / 非表示

  • 2024年01月
    -
    継続中

    第50回数値解析シンポジウム実行委員会   委員長

  • 2020年04月
    -
    2024年03月

    日本応用数理学会   JSIAM Letters 編集委員会 委員

  • 2020年03月
    -
    2020年09月

    日本応用数理学会   日本応用数理学会論文誌 論文賞選考委員会 委員

  • 2019年06月
    -
    2023年12月

    第49回数値解析シンポジウム実行委員会   委員長

  • 2019年06月
    -
    2019年09月

    日本応用数理学会   日本応用数理学会論文誌 論文賞選考委員会 委員

全件表示 >>

学会活動 1(学会・シンポジウムの主催) 【 表示 / 非表示

  • 岩手数理科学セミナー (2024年02月)

    参加者数 : 6人

  • 岩手数理科学セミナー (2023年11月)

    参加者数 : 6人

  • 岩手数理科学セミナー (2023年09月)

    参加者数 : 6人

  • 第49回数値解析シンポジウム (2023年07月)

    参加者数 : 60人

  • 岩手数理科学セミナー (2023年01月)

    参加者数 : 6人

全件表示 >>

学会活動 2(国際会議などの座長) 【 表示 / 非表示

  • 宮島信也 [日本応用数理学会研究部会連合発表会 (2022年03月)]

  • Shinya Miyajima [The 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (2021年09月)]

  • Shinya Miyajima [RIMS Symposium (open), Numerical methods for spectral problems: theory and applications (2019年09月)]

  • Shinya Miyajima [The 13th East Asia SIAM Conference (2018年06月)]

  • Shinya Miyajima [The 12th East Asia SIAM Conference (2017年06月)]

学会活動 3(学会誌の編集・査読) 【 表示 / 非表示

  • Japan Journal of Industrial and Applied Mathematics [査読 (2024年03月)]

  • JSIAM Letters [編集 (2023年12月)]

  • Journal of Computational Methods in Sciences and Engineering [査読 (2023年12月)]

  • JSIAM Letters [編集 (2023年10月)]

  • Journal of Computational Methods in Sciences and Engineering [査読 (2023年10月)]

全件表示 >>

 

生涯学習支援実績 【 表示 / 非表示

  • アカデミックインターンシップ

    種類 : 講演会

    担当部門(講演題目) : コンピュータが計算ミス?

    2023年08月
     
     
  • アカデミックインターンシップ

    種類 : 講演会

    担当部門(講演題目) : コンピュータが計算ミス?

    2022年08月
     
     
  • 大学進学説明会2021盛岡会場

    種類 : 講習会

    担当部門(講演題目) : 個別相談員

    2021年10月
     
     
  • コンピュータが計算ミス?

    種類 : 出前講義(高校・一般向け)

    担当部門(講演題目) : コンピュータが計算ミス?

    2021年09月
     
     
  • 夢ナビライブ

    種類 : 講演会

    担当部門(講演題目) : コンピュータが計算ミス?

    2019年10月
     
     

全件表示 >>

国際交流活動 【 表示 / 非表示

  • 2018年度

    学術交流

    交流機関・事業等名 :国立虎尾科技大学

    交流内容・受入れ目的・事業の担当内容 :数値線形代数学に関する研究討論

他大学等の非常勤講師 【 表示 / 非表示

  • 新潟大学

    先端科学技術総論 ( 2018年10月 )

  • 岐阜大学

    数理デザイン工学特論第1 ( 2016年10月 )

 

大学運営活動履歴 【 表示 / 非表示

  • 2022年度

    学部運営上、学部長が任命する役職 (理工学部後援会 会計幹事)

  • 2022年度

    コース長・コース主任(理工学部・農学部) (数理・物理コース コース長)

  • 2022年度

    学科長・課程長 (物理・材料理工学科 学科長)

  • 2021年度

    広報委員会 (物理・材料理工学科 数理・物理コース 広報委員 (岩手大学 理工学部) )

  • 2021年度

    点検評価委員会 (物理・材料理工学科 数理・物理コース 点検評価委員 (岩手大学 理工学部) )

全件表示 >>

その他大学運営活動の特記すべき事項 【 表示 / 非表示

  • 2022年度

    高校訪問

  • 2019年度

    高校訪問

  • 2018年度

    高校訪問

  • 2017年度

    高校訪問