SEKI Takahiro 関隆宏

Researcher Number	30380546
Other IDs
Affiliation (Current)	2026: 新潟大学, 経営戦略本部, 教授
Affiliation (based on the past Project Information) *help	2014 – 2024: 新潟大学, 経営戦略本部, 准教授 2019: 新潟大学, 経営戦略本部評価センター, 准教授 2014 – 2015: 新潟大学, 経営戦略本部評価センター, 准教授 2014: 新潟大学, 企画戦略本部, 准教授 2013: 新潟大学, 企画戦略本部評価センター, 准教授 … More 2012 – 2013: 新潟大学, 企画戦略本部評価センター, 准教授 2007: Niigata University, Evaluation Center, Associate Professor 2007: 新潟大学, 企画戦略本部評価センター, 准教授 2005 – 2006: 九州大学, 大学評価室, 助手 Less
Review Section/Research Field	Principal Investigator Basic Section 12030:Basic mathematics-related Except Principal Investigator Basic Section 09050:Tertiary education-related / Education / Educaion / General mathematics (including Probability theory/Statistical mathematics)
Keywords	Principal Investigator 階層性 / 部分構造論理 / 論理の階層性 / Kripke 型意味論 / 数理論理学 / 非古典論理 / 構造規則 / 結合則の族 / 結合則を持たない部分構造論理 Except Principal Investigator IR … More / 内部質保証 / 大学経営 / 大学 / 人材育成 / 大学評価 / ＩＲ / 大学マネジメント / 教育の質保証 / 教学マネジメント / 質保証 / 中期計画 / 認証評価 / 評価 / 高等教育 / 阻害 / 促進 / 実質化 / 認証評価機関 / 経営改善 / 国立大学法人評価 / 経営計画 / RM / ステークホルダー / レピュテーション / レピュテーション・マネジメント / 大学ランキング / ランキング / インスティテューショナルリサーチ / レピュテーションマネジメント / 学生調査 / 大学の有効性 / プログラムレビュー / プログラムレヴュー / IE / ガバナンス / 大学改革 / IR/IE / アセスメント / 高等教育機関 / 国立大学 / Substructural logics / Information Structures / Universal algebra / Algebraic logic / Algebra / Mathematical logic / 情報基礎 / 部分構造論理 / 情報構造 / universal algebra / 代数論理学 / 代数学 / 数理論理学 / マネジメント / 大学のマネジメント / 機関調査 / 法人評価 / 「国際研究者交流」アメリカ合衆国 / 教育プログラム / Institutional Research Less

内部質保証の実質化の阻害要因と促進要因に関する研究
- Principal Investigator
  
  高田英一
- Project Period (FY)
  2024 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 09050:Tertiary education-related
- Research Institution
  Kobe University
Research on the ideal management plan that contributes to the improvement of university management
- Principal Investigator
  
  Eiichi Takata
- Project Period (FY)
  2021 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 09050:Tertiary education-related
- Research Institution
  Kobe University
Hierarchy of families of associativity in substructural logicsPrincipal Investigator
- Principal Investigator
  
  Seki Takahiro
- Project Period (FY)
  2019 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12030:Basic mathematics-related
- Research Institution
  Niigata University
Research on how to use IR to promote university reputation management
- Principal Investigator
  
  Takata Eiichi
- Project Period (FY)
  2018 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 09050:Tertiary education-related
- Research Institution
  Kobe University
Practical study on formulation of management plan at national university and how to support by IR
- Principal Investigator
  
  Takata Eiichi
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Education
- Research Institution
  Kobe University
  Kyushu University
Research on collection and analysis of practical knowledge for upgrading IR function of University
- Principal Investigator
  
  Shimada Toshiyuki
- Project Period (FY)
  2015 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Education
- Research Institution
  Ibaraki University
Institutional Effectiveness for University Educational Management
- Principal Investigator
  
  Kominato Takuo
- Project Period (FY)
  2013 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Education
- Research Institution
  Kyushu University
A study of IR professional development program
- Principal Investigator
  
  SHIMADA Toshiyuki
- Project Period (FY)
  2012 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Educaion
- Research Institution
  Ibaraki University
Study about institutional research which support to Internal quality assurance in Japanese Universities
- Principal Investigator
  
  Takata Eiichi
- Project Period (FY)
  2012 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Educaion
- Research Institution
  Kyushu University
Advances in Logics by Algebraic Methods
- Principal Investigator
  
  ONO Hiroakira
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Japan Advanced Institute of Science and Technology

[Book] 大学評価・IR担当者集会2017 評価・IR実践セッション報告書（2017
- Author(s)
  浅野茂、大野賢一、小林裕美、小湊卓夫、佐藤仁、末次剛健志、関隆宏、土橋慶章、藤井都百、藤原将人、藤原宏司
- Total Pages
  79
- Publisher
  大学評価コンソーシアム
- Data Source
  KAKENHI-PROJECT-15H03469
[Book] 大学評価・IR担当者集会2017 評価初心者セッション報告書2017
- Author(s)
  関隆宏、土橋慶章
- Total Pages
  60
- Publisher
  大学評価コンソーシアム
- Data Source
  KAKENHI-PROJECT-15H03469
[Book] 『大学評価担当者集会２０１６全体会「数値目標と指標で組織の活動をどのように測るのか」実施報告書』2016
- Author(s)
  嶌田敏行，小湊卓夫，末次剛健志，山本幸一，藤井都百，藤原将人，藤原宏司，浅野茂，大野賢一，佐藤仁，関隆宏，土橋慶章
- Total Pages
  117
- Publisher
  大学評価コンソーシアム
- Data Source
  KAKENHI-PROJECT-15H03469
[Book] 『大学評価担当者集会２０１６評価・IR の実践・課題共有セッション実施報告書』2016
- Author(s)
  大野賢一，嶌田敏行，小湊卓夫，淺野昭人，浅野茂，小林裕美，佐藤仁，末次剛健志，藤井都百，藤原宏司，藤原将人，山本幸一，今井博英，橋本智也，山本鉱，関隆宏，土橋慶章
- Total Pages
  70
- Publisher
  大学評価コンソーシアム
- Data Source
  KAKENHI-PROJECT-15H03469
[Book] 米国におけるアセスメント実践事例に関する勉強会報告書2016
- Author(s)
  嶌田敏行，本田寛輔，浅野茂，大野賢一，小湊卓夫，佐藤仁，関隆宏，藤原将人，山本幸一
- Total Pages
  58
- Publisher
  大学評価コンソーシアム
- Data Source
  KAKENHI-PROJECT-25381083
[Book] 『米国におけるアセスメント実践事例に関する勉強会報告書』2015
- Author(s)
  嶌田敏行，本田寛輔，浅野茂，大野賢一，小湊卓夫，佐藤仁，関隆宏，藤原将人，山本幸一
- Total Pages
  58
- Publisher
  大学評価コンソーシアム
- Data Source
  KAKENHI-PROJECT-15H03469
[Book] 科研費データを活用した研究力把握に関する勉強会実施報告書2015
- Author(s)
  嶌田敏行、大野賢一、土橋慶章、藤井都百、末次剛健志、関隆宏、難波輝吉、藤原将人
- Total Pages
  35
- Publisher
  （web報告書）
- Data Source
  KAKENHI-PROJECT-24530988
[Book] 大学評価担当者集会2015 プレイベント１「米国におけるIRの実践事例－指標の設定とその活用－」実施報告書2015
- Author(s)
  大野賢一，藤原宏司，浅野茂，小湊卓夫，佐藤仁，関隆宏，藤井都百，嶌田敏行
- Total Pages
  72
- Publisher
  大学評価コンソーシアム
- Data Source
  KAKENHI-PROJECT-25381083
[Book] 『大学評価担当者集会2015 プレイベント１「米国におけるIRの実践事例－指標の設定とその活用－」実施報告書』2015
- Author(s)
  大野賢一，藤原宏司，浅野茂，小湊卓夫，佐藤仁，関隆宏，藤井都百，嶌田敏行
- Total Pages
  72
- Publisher
  大学評価コンソーシアム
- Data Source
  KAKENHI-PROJECT-15H03469
[Book] 大学評価担当者集会2014第二分科会「初めて評価を担当される方へ」実施報告書2015
- Author(s)
  関隆宏、大野賢一、小湊卓夫、浅野茂、嶌田敏行、藤原将人、長崎英助
- Total Pages
  25
- Publisher
  （web報告書）
- Data Source
  KAKENHI-PROJECT-24530988
[Book] 大学評価担当者集会2014第一分科会「大学の改善に活かす評価・IR」実施報告書2015
- Author(s)
  嶌田敏行、淺野昭人、小林裕美、小湊卓夫、佐藤仁、末次剛健志、土橋慶章、長崎英助、難波輝吉、藤井都百、藤原将人、関隆宏、大野賢一、浅野茂、本田寛輔
- Total Pages
  127
- Publisher
  （web報告書）
- Data Source
  KAKENHI-PROJECT-24530988
[Book] 大学評価担当者集会2015 全体会「大学評価は IR で高度化できるのか？2015
- Author(s)
  嶌田敏行，小湊卓夫，浅野茂，佐藤仁，藤原宏司，淺野昭人，大野賢一，小林裕美，関隆宏，土橋慶章，長崎英助，藤井都百，藤原将人，山本幸一，末次剛健志
- Total Pages
  128
- Publisher
  大学評価コンソーシアム
- Data Source
  KAKENHI-PROJECT-25381083
[Book] 大学評価担当者集会2015 評価・IR の実践・課題共有セッション実施報告書2015
- Author(s)
  嶌田敏行，淺野昭人，大川一毅，大野賢一，小林裕美，小湊卓夫，佐藤仁，藤井都百，藤原宏司，藤原将人，山本幸一，今井博英，山本鉱，浅野茂，末次剛健志，関隆宏，土橋慶章，山本幸一
- Total Pages
  57
- Publisher
  大学評価コンソーシアム
- Data Source
  KAKENHI-PROJECT-25381083
[Book] 『大学評価担当者集会2015 評価・IR の実践・課題共有セッション実施報告書』2015
- Author(s)
  嶌田敏行，淺野昭人，大川一毅，大野賢一，小林裕美，小湊卓夫，佐藤仁，藤井都百，藤原宏司，藤原将人，山本幸一，今井博英，山本鉱，浅野茂，末次剛健志，関隆宏，土橋慶章，山本幸一
- Total Pages
  57
- Publisher
  大学評価コンソーシアム
- Data Source
  KAKENHI-PROJECT-15H03469
[Book] 『大学評価担当者集会2015 全体会「大学評価は IR で高度化できるのか？」実施報告書』2015
- Author(s)
  嶌田敏行，小湊卓夫，浅野茂，佐藤仁，藤原宏司，淺野昭人，大野賢一，小林裕美，関隆宏，土橋慶章，長崎英助，藤井都百，藤原将人，山本幸一，末次剛健志
- Total Pages
  128
- Publisher
  大学評価コンソーシアム
- Data Source
  KAKENHI-PROJECT-15H03469
[Book] 評価を改善に活かすためのガイドライン［暫定版］－評価業務とIR業務を意思決定支援業務へ発展させるための留意点－2014
- Author(s)
  嶌田敏行，淺野昭人，浅野茂，大野賢一，小湊卓夫，佐藤仁，末次剛健志，関隆宏，難波輝吉，藤井都百，本田寛輔
- Total Pages
  15
- Publisher
  （web報告書）
- Data Source
  KAKENHI-PROJECT-24530988
[Book] 勉強会：米国におけるIR実践を通して考える日本型IR2014
- Author(s)
  小湊卓夫，嶌田敏行，浅野茂，大野賢一，淺野昭人，佐藤仁，関隆宏，難波輝吉，藤原宏司，藤原将人
- Total Pages
  158
- Publisher
  （web報告書）
- Data Source
  KAKENHI-PROJECT-24530988
[Book] 評価を改善に活かすためのガイドライン2014
- Author(s)
  大学評価コンソーシアム（嶌田敏行、淺野昭人、浅野茂、大野賢一、小湊卓夫、佐藤仁、末次剛健志、関隆宏、難波輝吉、藤井都百、本田寛輔）
- Total Pages
  15
- Publisher
  PDFによるweb公表
- Data Source
  KAKENHI-PROJECT-24530988
[Book] 勉強会「米国におけるIR実践を通して考える日本型IR」報告書2014
- Author(s)
  大学評価コンソーシアム（小湊卓夫、嶌田敏行、淺野昭人、浅野茂、大野賢一、関隆宏、難波輝吉、藤原宏司、藤原将人）
- Total Pages
  158
- Publisher
  PDFによるweb公表
- Data Source
  KAKENHI-PROJECT-24530988
[Book] 大学評価担当者集会2013第二分科会「初めて評価を担当される方へ」報告書2013
- Author(s)
  大学評価コンソーシアム（関隆宏、大野賢一、藤原将人、長崎英助、小湊卓夫、浅野茂、嶌田敏行）
- Total Pages
  21
- Publisher
  PDFによるweb公表
- Data Source
  KAKENHI-PROJECT-24530988
[Book] 大学評価担当者集会2013第一分科会「評価とIR：活用編」報告書2013
- Author(s)
  大学評価コンソーシアム（嶌田敏行、淺野昭人、浅野茂、佐藤仁、末次剛健志、藤井都百、本田寛輔、小湊卓夫、関隆宏、大野賢一、小林裕美、難波輝吉）
- Total Pages
  146
- Publisher
  PDFによるweb公表
- Data Source
  KAKENHI-PROJECT-24530988
[Journal Article] A Gentzen-style calculus for substructural logics with axioms W and S2024
- Author(s)
  Takahiro Seki
- Journal Title
  
  数理解析研究所講究録 RIMS共同研究（公開型）「証明論と計算論の最前線」
  
  Volume: 2293 Pages: 126-136
- Data Source
  KAKENHI-PROJECT-19K03600
[Journal Article] Current Status and Issues Concerning the Formulation and Operation of Mid-Term Plans for Japanese National Universities2024
- Author(s)
  Oishi Tetsuya、Takata Eiichi、Mori Masao、Takamatsu Kunihiko、Seki Takahiro、Ogashiwa Kahori
- Journal Title
  
  IIAI Letters on Institutional Research
  
  Volume: 4 Pages: 1
- DOI
  10.52731/lir.v004.275
- ISSN
  2185-9922
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21K02659
[Journal Article] Current Status and Issues Regarding the Formulation and Operation of Medium-term Plans for Japanese Private Universities2024
- Author(s)
  高田英一、森雅生、高松邦彦、関隆宏、大石哲也、小柏香穂理
- Journal Title
  
  Proceedings of the Meeting on Japanese Institutional Research
  
  Volume: 13 Issue: 0 Pages: 168-174
- DOI
  10.50956/mjir.13.0_168_1
- ISSN
  2436-3014, 2436-3065
- Year and Date
  2024-11-08
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21K02659
[Journal Article] Exchange に関わる結合則の族に対応する推論規則2022
- Author(s)
  関　隆宏
- Journal Title
  
  数理解析研究所講究録2228 RIMS共同研究（公開型）「証明と計算の理論と応用」
  
  Volume: 2228 Pages: 41-46
- Data Source
  KAKENHI-PROJECT-19K03600
[Journal Article] 国立大学法人の中期計画の比較分析－国立大学法人評価の評価結果を踏まえて－2022
- Author(s)
  高田英一 , 森雅生 , 関隆宏 , 大石哲也 , 小柏香穂理 , 高松邦彦
- Journal Title
  
  日本教育情報学会年会論文集
  
  Volume: 38
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21K02659
[Journal Article] 我が国の大学における大学ランキングに関する取組の現状と課題－レピュテーション・マネジメントの取組に関するアンケート調査の結果を基に－2021
- Author(s)
  高田英一, 大石哲也, 森雅生, 関隆宏, 小柏香穂理, 劉沙紀
- Journal Title
  
  教育情報研究
  
  Volume: 37
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K02705
[Journal Article] Presentation and Coping Problems of University Ranking in Japan2021
- Author(s)
  Tetsuya Oishi, Kahori Ogashiwa, Eiichi Takata, Saki Liu, Takahiro Seki, Masao Mori
- Journal Title
  
  Proceedings 2021 10th International Congress on Advanced Applied Informatics IIAI-AAI 2021
  
  Volume: 29 Pages: 287-290
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K02705
[Journal Article] The Current Situations of reputation management and IR of national universities Based on the survey results2020
- Author(s)
  高田英一、大石哲也、森雅生、関隆宏、小柏香穂理、劉沙紀
- Journal Title
  
  Educational Information Research
  
  Volume: 36 Issue: 2 Pages: 87-93
- DOI
  10.20694/jjsei.36.2_87
- NAID
  130007978338
- ISSN
  0912-6732, 2432-1745
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K02705
[Journal Article] 初めて評価を担当される方へ（後編）2018
- Author(s)
  関隆宏
- Journal Title
  
  情報誌「大学評価とIR」
  
  Volume: 9 Pages: 9-19
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-15H03469
[Journal Article] 教育の内部質保証に対するIRによる支援の現状と課題― 国立大学に対するアンケートを基に ―2018
- Author(s)
  高田英一，森雅生，関隆宏，大石哲也，川辺聡史
- Journal Title
  
  大学評価・学位研究
  
  Volume: 19 Pages: 67-80
- NAID
  130007626218
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K04305
[Journal Article] 初めて評価を担当される方へ（前編）―2018年改訂版―2018
- Author(s)
  関隆宏
- Journal Title
  
  情報誌「大学評価とIR」
  
  Volume: 9 Pages: 31-49
- Open Access
- Data Source
  KAKENHI-PROJECT-15H03469
[Journal Article] The Results of a Questionnaire Survey about the Present Situation and Problem of Drawing Japanese National Universities Management Plans up by Support of IR2018
- Author(s)
  Tetsuya Oishi, Eiichi Takata, Takahiro Seki, Masao Mori
- Journal Title
  
  The Seventh Edition of the International Conference New Perspectives in Science Education
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K04305
[Journal Article] How can IR Support the Management of Japanese National Universities on the Mid-Term Plan Related to Globalization?2017
- Author(s)
  Tetsuya Oishi, Eiichi Takata, Noriko Kuwano, Takahiro Seki, Masao Mori, Masashi Sekiguchi
- Journal Title
  
  Proceedings of The 17th Annual SEAAIR Conference
  
  Volume: - Pages: 303-309
- NAID
  120006705310
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K04305
[Journal Article] 初めて評価を担当される方へ（前編）2017
- Author(s)
  関隆宏
- Journal Title
  
  情報誌「大学評価とIR」
  
  Volume: 8 Pages: 15-32
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-15H03469
[Journal Article] 日本の国立大学における経営計画の課題とIR による支援のあり方について―グローバル化に関する中期計画を中心に―2017
- Author(s)
  大石哲也, 桑野典子, 高田英一, 関隆宏, 森雅生, 関口正司
- Journal Title
  
  第6回大学情報・機関調査研究会集会論文集
  
  Volume: - Pages: 8-13
- NAID
  120006705259
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-15K04305
[Journal Article] 公的集計データを用いた大学間比較ことはじめ―新潟大学の事例から―2017
- Author(s)
  関　隆宏
- Journal Title
  
  第6回大学情報・機関調査研究集会論文集
  
  Volume: - Pages: 20-25
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K04305
[Journal Article] 「新潟大学ファクトブック2015」の作成について2016
- Author(s)
  関　隆宏，今井博英，小田美奈子
- Journal Title
  
  情報誌「大学評価とIR」
  
  Volume: 第5 Pages: 44-52
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K04305
[Journal Article] 認証評価を契機とする教育改善状況の把握と改善事例　―新潟大学の場合―2015
- Author(s)
  関　隆宏
- Journal Title
  
  第4回大学情報・機関調査研究集会論文集
  
  Volume: 4 Pages: 46-50
- Data Source
  KAKENHI-PROJECT-24531011
[Journal Article] 平成26年度大学機関別認証評価から見える新潟大学の課題2015
- Author(s)
  関　隆宏
- Journal Title
  
  新潟大学高等教育研究
  
  Volume: 3 Pages: 27-32
- NAID
  120006752726
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24531011
[Journal Article] Completness of relevant modal logics with disjunctive rules2008
- Author(s)
  Takahiro Seki
- Journal Title
  
  Reports on Mathematical Logic 44
  
  Pages: 3-18
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17540109
[Journal Article] Completness of relevant modal logics with disjunctive rules2008
- Author(s)
  関隆宏
- Journal Title
  
  Reports on Mathematical Logic 44
  
  Pages: 3-18
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17540109
[Journal Article] Completness of relevant modal logics with disjunctive rules2008
- Author(s)
  T. Seki
- Journal Title
  
  Reports on Mathematical Logic 44
  
  Pages: 3-18
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540109
[Presentation] 公理KとSの変種を持つ部分構造論理の階層性2025
- Author(s)
  関　隆宏
- Organizer
  第59回数理論理学研究集会
- Data Source
  KAKENHI-PROJECT-19K03600
[Presentation] Information and Communication Technology (ICT) and Data-Driven Approaches for Mid-Term Plans: Development of Strategic Management Framework in Higher Education2025
- Author(s)
  Kunihiko Takamatsu , Tetsuya Oishi , Takahiro Seki , Kahori Ogashiwa , Masao Mori , Eiichi Takata
- Organizer
  10th International Congress on Information and Communication Technology (ICICT 2025, London)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K02659
[Presentation] 我が国の大学の中期計画の策定・運用に関する現状と課題アンケート調査結果を基に2024
- Author(s)
  高田英一、森雅生、高松邦彦、関隆宏、大石哲也、小柏香穂理
- Organizer
  大学教育学会
- Data Source
  KAKENHI-PROJECT-21K02659
[Presentation] 公理KとSを持つ部分構造論理における構造規則の導出可能性2024
- Author(s)
  関　隆宏
- Organizer
  証明論シンポジウム2024
- Data Source
  KAKENHI-PROJECT-19K03600
[Presentation] Variations of axioms K and S in substructural logics2024
- Author(s)
  Takahiro Seki
- Organizer
  6th Asian Workshop on Philosophical Logic
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03600
[Presentation] 公理Wに対応する推論規則とその周辺2024
- Author(s)
  関　隆宏
- Organizer
  第58回数理論理学研究集会
- Data Source
  KAKENHI-PROJECT-19K03600
[Presentation] Constant-free substructural logics with associative exchange rules2023
- Author(s)
  関　隆宏
- Organizer
  第57回数理論理学研究集会
- Data Source
  KAKENHI-PROJECT-19K03600
[Presentation] A Gentzen-style calculus for substructural logics with axioms W and S2023
- Author(s)
  関　隆宏
- Organizer
  証明論研究集会2023
- Data Source
  KAKENHI-PROJECT-19K03600
[Presentation] Exchange に関わる結合則の族の関係2022
- Author(s)
  関　隆宏
- Organizer
  第56回数理論理学研究集会
- Data Source
  KAKENHI-PROJECT-19K03600
[Presentation] 国立大学法人の中期計画の比較分析－国立大学法人評価の評価結果を踏まえて－2022
- Author(s)
  高田英一 , 森雅生 , 関隆宏 , 大石哲也 , 小柏香穂理 , 高松邦彦
- Organizer
  日本教育情報学会
- Data Source
  KAKENHI-PROJECT-21K02659
[Presentation] 制限された weakening と contraction を持つ結合則を持たない部分構造論理の可換性2022
- Author(s)
  関　隆宏
- Organizer
  日本数学会2022年度秋季総合分科会
- Data Source
  KAKENHI-PROJECT-19K03600
[Presentation] 公理Sの族に対応する推論規則2022
- Author(s)
  関　隆宏
- Organizer
  証明論研究集会2022
- Data Source
  KAKENHI-PROJECT-19K03600
[Presentation] 制限された weakening と contraction を持つ結合則を持たない部分構造論理の可換性2022
- Author(s)
  関　隆宏
- Organizer
  日本数学会2022年度年会
- Data Source
  KAKENHI-PROJECT-19K03600
[Presentation] Exchange に関わる結合則の族に対応する推論規則2021
- Author(s)
  関　隆宏
- Organizer
  証明論研究集会2021
- Data Source
  KAKENHI-PROJECT-19K03600
[Presentation] 適切論理から見た部分構造論理2021
- Author(s)
  関　隆宏
- Organizer
  日本数学会2021年度年会
- Invited
- Data Source
  KAKENHI-PROJECT-19K03600
[Presentation] 我が国の大学におけるレピュテーション・マネジメントの現状と課題－国公私立大学を対象としたアンケート調査の結果を基に－2021
- Author(s)
  高田英一, 大石哲也, 森雅生, 関隆宏, 小柏香穂理, 劉沙紀
- Organizer
  日本教育情報学会年会
- Data Source
  KAKENHI-PROJECT-18K02705
[Presentation] 結合則を持たない部分構造論理の Kripke 型意味論について2021
- Author(s)
  関　隆宏
- Organizer
  第55回数理論理学研究集会
- Data Source
  KAKENHI-PROJECT-19K03600
[Presentation] Exchange に関わる結合則の族の分類2021
- Author(s)
  関　隆宏
- Organizer
  日本数学会2021年度秋季総合分科会
- Data Source
  KAKENHI-PROJECT-19K03600
[Presentation] 対偶を持つ対合的部分構造論理における結合則の族について2020
- Author(s)
  関　隆宏
- Organizer
  証明論研究集会2020
- Data Source
  KAKENHI-PROJECT-19K03600
[Presentation] 対偶を持つ対合的部分構造論理に対する Gentzen 流の形式化2020
- Author(s)
  関　隆宏
- Organizer
  日本数学会2020年度年会
- Data Source
  KAKENHI-PROJECT-19K03600
[Presentation] 対偶を持つ対合的部分構造論理に対する Gentzen 流の形式化2020
- Author(s)
  関　隆宏
- Organizer
  日本数学会2020年度秋季総合分科会
- Data Source
  KAKENHI-PROJECT-19K03600
[Presentation] わが国の国立大学におけるレピュテーション・マネジメントに関する意識と取組及びIRの活用の実態2019
- Author(s)
  高田英一、大石哲也、森雅生、関隆宏、小柏香穂理、劉沙紀
- Organizer
  日本教育情報学会　第35回年会
- Data Source
  KAKENHI-PROJECT-18K02705
[Presentation] 世界のレピュテーション・マネジメントの現状と日本におけるIR担当者の意識2019
- Author(s)
  大石哲也、劉沙紀、小柏香穂理、関隆宏、高田英一、森雅生
- Organizer
  日本教育情報学会第35回年会
- Data Source
  KAKENHI-PROJECT-18K02705
[Presentation] A sequent calculus for substructural logics with associative weakening rules2019
- Author(s)
  関　隆宏
- Organizer
  証明論研究集会2019
- Data Source
  KAKENHI-PROJECT-19K03600
[Presentation] A Gentzenization of some substructural logics with contraposition2019
- Author(s)
  関　隆宏
- Organizer
  第54回数理論理学研究集会
- Data Source
  KAKENHI-PROJECT-19K03600
[Presentation] 制限のある weakening 規則について2019
- Author(s)
  関　隆宏
- Organizer
  日本数学会2019年度秋季総合分科会
- Data Source
  KAKENHI-PROJECT-19K03600
[Presentation] レピュテーション・マネジメントの推進に向けたIRのあり方-教学IR分析の観点から-2018
- Author(s)
  大石哲也、劉沙紀、小柏香穂理、関隆宏、高田英一、森雅生
- Organizer
  日本教育情報学会第34回年会
- Data Source
  KAKENHI-PROJECT-18K02705
[Presentation] The Results of a Questionnaire Survey about the Present Situation and Problem of Drawing Japanese National Universities Management Plans up by Support of IR2018
- Author(s)
  Tetsuya Oishi, Eiichi Takata, Takahiro Seki, Masao Mori
- Organizer
  The Seventh Edition of the International Conference “New Perspectives in Science Education
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K04305
[Presentation] How can IR Support the Management of Japanese National Universities on the Mid-Term Plan Related to Globalization?2017
- Author(s)
  Tetsuya Oishi, Eiichi Takata, Noriko Kuwano, Takahiro Seki, Masao Mori, Masashi Sekiguchi
- Organizer
  The 17th Annual SEAAIR Conference
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K04305
[Presentation] 日本の国立大学における経営計画の課題とIR による支援のあり方について―グローバル化に関する中期計画を中心に―2017
- Author(s)
  大石哲也, 桑野典子, 高田英一, 関隆宏, 森雅生, 関口正司
- Organizer
  MJIR2017
- Data Source
  KAKENHI-PROJECT-15K04305
[Presentation] 公的集計データを用いた大学間比較ことはじめ―新潟大学の事例から―2017
- Author(s)
  関　隆宏
- Organizer
  第6回大学情報・機関調査研究集会
- Data Source
  KAKENHI-PROJECT-15K04305
[Presentation] IRの内部質保証システムへの支援の現状と課題― 国立大学に対するアンケートを基に ―2016
- Author(s)
  高田英一、森雅生、関隆宏、大石哲也、川辺聡史
- Organizer
  第5回大学情報・機関調査研究集会
- Place of Presentation
  熊本国際交流会館
- Year and Date
  2016-07-12
- Data Source
  KAKENHI-PROJECT-24531011
[Presentation] IRの内部質保証システムへの支援の現状と課題－国立大学に対するアンケートを基に－2016
- Author(s)
  高田英一, 森雅生, 関隆宏, 大石哲也, 川辺聡志
- Organizer
  第５回MJIR研究集会
- Place of Presentation
  熊本市国際交流会館（熊本県・熊本市）
- Year and Date
  2016-07-13
- Data Source
  KAKENHI-PROJECT-15K04305
[Presentation] 新潟大学ファクトブック2015」の作成について2016
- Author(s)
  関　隆宏，今井博英，小田美奈子
- Organizer
  平成27年度第4回IR実務担当者連絡会
- Place of Presentation
  茨木
- Year and Date
  2016-02-23
- Data Source
  KAKENHI-PROJECT-15K04305
[Presentation] 大学の意思決定支援を目的とした指標の策定に関する検討2015
- Author(s)
  藤原宏司，大野賢一，嶌田敏行，淺野茂，関隆宏，小湊卓夫
- Organizer
  日本高等教育学会
- Place of Presentation
  早稲田大学
- Year and Date
  2015-06-27
- Data Source
  KAKENHI-PROJECT-25381083
[Presentation] 評価・IR担当者に必要な知識・スキルに関する考察－人材育成プログラムの開発・充実に向けて－2015
- Author(s)
  嶌田敏行、小湊卓夫、浅野茂、大野賢一、佐藤仁、末次剛健志、関隆宏、土橋慶章、藤井都百、藤原将人、藤原宏司
- Organizer
  日本高等教育学会
- Place of Presentation
  早稲田大学
- Year and Date
  2015-06-27
- Data Source
  KAKENHI-PROJECT-15H03469
[Presentation] 評価・IR担当者に必要な知識・スキルに関する考察2015
- Author(s)
  嶌田敏行，小湊卓夫，淺野茂，大野賢一，関隆宏，佐藤仁，末次剛健志，土橋慶章，藤井都百，藤原宏司，藤原将人
- Organizer
  日本高等教育学会
- Place of Presentation
  早稲田大学
- Year and Date
  2015-06-27
- Data Source
  KAKENHI-PROJECT-25381083
[Presentation] 認証評価を契機とする教育改善状況の把握と改善事例　―新潟大学の場合―2015
- Author(s)
  関　隆宏
- Organizer
  第4回大学情報・機関調査研究集会
- Place of Presentation
  岡山コンベンションセンター
- Year and Date
  2015-07-13
- Data Source
  KAKENHI-PROJECT-24531011
[Presentation] 国立大学の評価・IR部署における業務の現状と今後の展開に関する一考察2014
- Author(s)
  嶌田敏行、藤原宏司、浅野茂、大野賢一、関隆宏、小湊卓夫、土橋慶章、本田寛輔
- Organizer
  日本高等教育学会
- Place of Presentation
  大阪大学
- Data Source
  KAKENHI-PROJECT-24530988
[Presentation] 米国の中規模州立大学のIRオフィスおよび国立大学の評価・IR部署における業務の現状と今後の展開に関する一考察2014
- Author(s)
  嶌田敏行、藤原宏司、浅野茂、大野賢一、関隆宏、小湊卓夫、土橋慶章、本田寛輔
- Organizer
  日本高等教育学会第17回大会
- Place of Presentation
  大阪大学
- Year and Date
  2014-06-28
- Data Source
  KAKENHI-PROJECT-24530988
[Presentation] An algebraic approach to prove γ-admissibility of relevant modallogics2007
- Author(s)
  関隆宏
- Organizer
  MLG数理論理学研究集会
- Place of Presentation
  KKR城崎玄武
- Year and Date
  2007-12-20
- Data Source
  KAKENHI-PROJECT-17540109
[Presentation] 第二分科会　導入レクチャー「評価とは何か」
- Author(s)
  小湊卓夫、関隆宏
- Organizer
  大学評価担当者集会2012
- Place of Presentation
  神戸大学
- Data Source
  KAKENHI-PROJECT-24530988
[Presentation] 第二分科会導入レクチャー
- Author(s)
  関隆宏、大野賢一、藤原将人、長崎英助
- Organizer
  大学評価担当者集会2013
- Place of Presentation
  神戸大学
- Data Source
  KAKENHI-PROJECT-24530988
[Presentation] 各組織における評価文化の定着に向けた取組　― 評価センターの試行錯誤 ―
- Author(s)
  関隆宏
- Organizer
  第2回　大学情報・機関調査研究会
- Place of Presentation
  くにびきメッセ（松江市）
- Data Source
  KAKENHI-PROJECT-24530988

1. Takata Eiichi (60336039)

# of Collaborated Projects: 5 results

# of Collaborated Products: 19 results
2. MORI Masao (20284549)

# of Collaborated Projects: 5 results

# of Collaborated Products: 19 results
3. 大石哲也 (30552236)

# of Collaborated Projects: 4 results

# of Collaborated Products: 18 results
4. ASANO Shigeru (50432563)

# of Collaborated Projects: 3 results

# of Collaborated Products: 24 results
5. SHIMADA Toshiyuki (00400599)

# of Collaborated Projects: 3 results

# of Collaborated Products: 24 results
6. KOMINATO Takuo (30372535)

# of Collaborated Projects: 3 results

# of Collaborated Products: 25 results
7. OHNO Kenichi (90314608)

# of Collaborated Projects: 3 results

# of Collaborated Products: 26 results
8. SATO Hitoshi (30432701)

# of Collaborated Projects: 3 results

# of Collaborated Products: 18 results
9. 小柏香穂理 (60379922)

# of Collaborated Projects: 3 results

# of Collaborated Products: 10 results
10. TSUCHIHASHI Yoshiaki (90730664)

# of Collaborated Projects: 2 results

# of Collaborated Products: 11 results
11. KUWANO Noriko (00624751)

# of Collaborated Projects: 2 results

# of Collaborated Products: 4 results
12. SEKIGUCHI Masashi (60163101)

# of Collaborated Projects: 2 results

# of Collaborated Products: 4 results
13. 藤井都百 (50437092)

# of Collaborated Projects: 2 results

# of Collaborated Products: 12 results
14. 高松邦彦 (80392017)

# of Collaborated Projects: 2 results

# of Collaborated Products: 4 results
15. ASANO Akito

# of Collaborated Projects: 2 results

# of Collaborated Products: 9 results
16. KOBAYASHI Hiromi

# of Collaborated Projects: 2 results

# of Collaborated Products: 6 results
17. SUETSUGU Takeshi

# of Collaborated Projects: 2 results

# of Collaborated Products: 11 results
18. NANBA Kiyoshi

# of Collaborated Projects: 2 results

# of Collaborated Products: 7 results
19. FUJIWARA Koji

# of Collaborated Projects: 2 results

# of Collaborated Products: 17 results
20. FUJIWARA Masato

# of Collaborated Projects: 2 results

# of Collaborated Products: 17 results
21. ONO Hiroakira (90055319)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. GALATOS Nikolaos (70422665)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
23. TANAKA Yoshihito (70320132)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
24. 高森智嗣 (80583103)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
25. 宮崎裕 (40374607)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
26. ボウフェリックス (00397233)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
27. 劉沙紀 (50773933)

# of Collaborated Projects: 1 results

# of Collaborated Products: 6 results
28. HONDA Hiroshike

# of Collaborated Projects: 1 results

# of Collaborated Products: 6 results
29. Yamamoto Koichi

# of Collaborated Projects: 1 results

# of Collaborated Products: 5 results

SEKI Takahiro 関 隆宏

Research Projects

Research Products

Co-Researchers

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Hierarchy of families of associativity in substructural logicsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] 大学評価・IR担当者集会2017 評価・IR実践セッション報告書（2017

Author(s)

Total Pages

Publisher

Data Source

[Book] 大学評価・IR担当者集会2017 評価初心者セッション報告書2017

Author(s)

Total Pages

Publisher

Data Source

[Book] 『大学評価担当者集会２０１６全体会「数値目標と指標で組織の活動をどのように測るのか」実施報告書』2016

Author(s)

Total Pages

Publisher

Data Source

[Book] 『大学評価担当者集会２０１６ 評価・IR の実践・課題共有セッション実施報告書』2016

Author(s)

Total Pages

Publisher

Data Source

[Book] 米国におけるアセスメント実践事例に関する勉強会報告書2016

Author(s)

Total Pages

Publisher

Data Source

SEKI Takahiro 関隆宏

[Book] 『大学評価担当者集会２０１６評価・IR の実践・課題共有セッション実施報告書』2016