所属 |
岩手大学 理工学部 物理・材料理工学科 数理・物理コース |
職名 |
教授 |
担当授業科目 【 表示 / 非表示 】
-
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
学会・委員会等活動 【 表示 / 非表示 】
-
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月
大学運営活動履歴 【 表示 / 非表示 】
-
2022年度
学部運営上、学部長が任命する役職 (理工学部後援会 会計幹事)
-
2022年度
コース長・コース主任(理工学部・農学部) (数理・物理コース コース長)
-
2022年度
学科長・課程長 (物理・材料理工学科 学科長)
-
2021年度
広報委員会 (物理・材料理工学科 数理・物理コース 広報委員 (岩手大学 理工学部) )
-
2021年度
点検評価委員会 (物理・材料理工学科 数理・物理コース 点検評価委員 (岩手大学 理工学部) )