Updated on 2024/04/19
【Papers】 Hallden Completeness for Relevant Modal Logics 2015
【Papers】 Metacompleteness of Substructural Logics 2012.12
【Papers】 An Algebraic Proof of the Admissibility of gamma in Relevant Modal Logics 2012.12
PhD (Information Science) ( 2002.3 Japan Advanced Institute of Science and Technology )
修士（教育学） ( 1999.3 新潟大学 )
学士（教育学） ( 1997.3 新潟大学 )
relevant modal logic
university evaluation
substructural logic
Humanities & Social Sciences / Education / University Evaluation
Informatics / Theory of informatics / Mathematical Logic
Natural Science / Basic mathematics / Mathematical Logic
Niigata University Graduate School of Education School Subjects Associate Professor
2013.4
Niigata University Headquarters for Management Strategy University Evaluation Center Associate Professor
2007.10
国立大学法人九州大学教育改革企画支援室 准教授
2007.6 - 2007.10
国立大学法人九州大学情報基盤研究開発センター 特任准教授
2007.4 - 2007.5
国立大学法人九州大学大学評価情報室 助手
2004.5 - 2007.3
Niigata University Headquarters for Strategy and Planning University Evaluation Center Associate Professor
2007.10
日本数学会
日本高等教育学会
Japan Society of Mathematical Education
日本数学会 評議員
2023.3
Committee type：Academic society
Junior High School Teacher Specialization License
High School Teacher Specialization License
First Kind of High School Teacher License
First Kind of Junior High School Teacher License
制限された weakening と contraction を持つ結合則を持たない部分構造論理の可換性
関 隆宏
日本数学会2022年度秋季総合分科会 数学基礎論および歴史分科会講演アブストラクト 27 - 28 2022.9
Exchange に関わる結合則の族に対応する推論規則
関 隆宏
数理解析研究所講究録2228 RIMS共同研究（公開型）「証明と計算の理論と応用」 41 - 46 2022.8
Current status and issues of university ranking efforts at Japanese universities: Based on the results of a questionnaire survey on reputation management efforts
Takata Eiichi, Oishi Tetsuya, Mori Masao, Seki Takahiro, Ogashiwa Kahori, Ryu Saki
Educational Information Research 37 ( 2.3 ) 29 - 36 2022.2
Exchange に関わる結合則の族の分類
関 隆宏
日本数学会2021年度秋季総合分科会 数学基礎論および歴史分科会講演アブストラクト 3 - 4 2021.3
適切論理から見た部分構造論理 Invited
関 隆宏
日本数学会2021年度年会 数学基礎論および歴史分科会講演アブストラクト 9 - 18 2021.3
IRの内部質保証システムへの支援の現状と課題 －国立大学に対するアンケートを基に－
高田 英一, 森 雅生, 関 隆宏, 大石 哲也, 川辺 聡史
大学情報・機関調査研究集会 論文集 5 16 2021
Presentation and Coping Problems of University Ranking in Japan
Tetsuya Oishi, Kahori Ogashiwa, Eiichi Takata, Saki Liu, Takahiro Seki, Masao Mori
Proceedings - 2021 10th International Congress on Advanced Applied Informatics, IIAI-AAI 2021 287 - 290 2021
対偶を持つ対合的部分構造論理に対する Gentzen 流の形式化
関 隆宏
日本数学会2020年度年会 数学基礎論および歴史分科会講演アブストラクト 11 - 12 2020.3
The Current Situations of reputation management and IR of national universities Based on the survey results
Educational Information Research 36 ( 2 ) 87 - 93 2020
制限のある weakening 規則について
関 隆宏
日本数学会2019年度秋季総合分科会 数学基礎論および歴史分科会講演アブストラクト 55 - 56 2019.9
様相論理 S4 のカット除去定理のメタ評価値を用いた証明
関 隆宏
日本数学会2019年度年会 数学基礎論および歴史分科会講演アブストラクト 39 - 40 2019.3
Proposing Methods of Support by IR for Japanese National Universities on the Mid-Term Plan Related to Globalization Reviewed
Tetsuya Oishi, Eiichi Takata, Takahiro Seki, Masao Mori, Masashi Sekiguchi
ASEAN Journal of Education 4 ( 2 ) 41 - 46 2018.12
レピュテーション・マネジメントの推進に向けたIRのあり方－教学IR分析の観点から－
大石哲也, 劉 沙紀, 小柏香穂理, 関 隆宏, 高田英一, 森 雅生
日本教育情報学会第34回年会論文集 34 30 - 33 2018.8
IRによる中期計画の策定の支援の現状と課題 －国立大学に対するアンケート調査の結果を中心に－
高田英一, 大石哲也, 関 隆宏, 森 雅生
日本教育情報学会第34回年会論文集 34 34 - 37 2018.8
Some relevant modal logics characterized by reduced frames
Takahiro Seki
51 - 52 2018.3
The Results of a Questionnaire Survey about the Present Situation and Problem of Drawing Japanese National Universities Management Plans up by Support of IR Reviewed
Tetsuya Oishi, Eiichi Takata, Takahiro Seki, Masao Mori
New Perspectives in Science Education 2018 2018.3
The current state and problem of Institutional Research suppor t for Internal Quality Assurance Reviewed
TAKATA Eiichi, MORI Masao, SEKI Takahiro, OISHI Tetsuya, KAWABE Satoshi
Research on Academic Degrees and University Evaluation 19 ( 0 ) 67 - 80 2018
A semilattice semantics in relevant logics
Takahiro Seki
33 - 34 2017.9
Oishi Tetsuya, Takata Eiichi, Kuwano Noriko, Seki Takahiro, Mori Masao, Sekiguchi Masashi
Proceedings of The 17th Annual SEAAIR Conference 303 - 309 2017.9
公的集計データを用いた大学間比較ことはじめ―新潟大学の事例から―
関 隆宏
第6回大学情報・機関調査研究集会論文集 20 - 25 2017.8
日本の国立大学における経営計画の課題とIR による支援のあり方について―グローバル化に関する中期計画を中心に―
大石 哲也, Oishi Tetsuya, 桑野 典子, Kuwano Noriko, 高田 英一, Takata Eiichi, 関 隆宏, Seki Takahiro, 森 雅生, Mori Masao, 関口 正司, Sekiguchi Masashi
第6回 大学情報・機関調査研究会集会 論文集 8 - 13 2017.8
Craig's interpolation theorem for non-associative substructural logics
Takahiro Seki
51 - 52 2017.3
IRが目指すべきもう一つの仕事 ー ベンチマークプラットフォームとしてのIRデータ形式の標準化 ー
大石 哲也, 高田 英一, 桑野 典子, 関 隆宏, 森 雅生, 関口 正司
大学情報・機関調査研究集会 論文集 6 8 2017
IRの内部質保証システムへの支援の現状と課題 －国立大学に対するアンケートを基に－
高田英一, 森 雅生, 関 隆宏, 大石哲也, 川辺聡史
第5回大学情報・機関調査研究集会論文集 16 - 21 2016.7
「新潟大学ファクトブック2015」の作成について Reviewed
関 隆宏, 今井博英, 小田美奈子
大学評価とIR ( 5 ) 44 - 52 2016.3
Decidability of non-associative substructural logics
Takahiro Seki
43 - 44 2016.3
平成26年度大学機関別認証評価から見える新潟大学の課題 Reviewed
関 隆宏
新潟大学高等教育研究 3 27 - 32 2015.12
認証評価を契機とする教育改善状況の把握と改善事例 ―新潟大学の場合―
関 隆宏
第4回大学情報・機関調査研究集会論文集 46 - 50 2015.7
評価・IR担当者に必要な知識・スキルに関する考察 ―人材育成プログラムの開発・充実に向けて―
嶌田敏行, 小湊卓夫, 浅野茂, 大野賢一, 佐藤仁, 末次剛健志, 関隆宏, 土橋慶章, 藤井都百, 藤原将人, 藤原宏司
日本高等教育学会第18回大会 発表要旨集録 124 - 125 2015.6
大学の意思決定支援を目的とした指標の策定に関する検討
藤原宏司, 大野賢一, 浅野茂, 嶌田敏行, 関隆宏, 小湊卓夫
日本高等教育学会第18回大会 発表要旨集録 202 - 203 2015.6
オレゴン大学IRオフィス訪問記 Reviewed
関 隆宏
大学評価とIR ( 2 ) 3 - 8 2015.5
Hallden-completeness and Sahlqvist formulas
Takahiro Seki
23 - 24 2015.3
Hallden Completeness for Relevant Modal Logics Reviewed
Takahiro Seki
NOTRE DAME JOURNAL OF FORMAL LOGIC 56 ( 2 ) 333 - 350 2015
認証評価の自己評価書における教育関連データからの課題 ―新潟大学の事例を中心に―
関 隆宏
第3回大学情報・機関調査研究集会論文集 6 - 9 2014.9
国立大学の評価・IR 部署における業務の現状と今後の展開に関する一考察
嶌田敏行, 藤原宏司, 浅野茂, 大野賢一, 関隆宏, 小湊卓夫, 土橋慶章, 本田寛輔
日本高等教育学会第17回大会 発表要旨集録 46 - 47 2014.6
A Gentzen-style formulation for non-associative substructural logics II
Takahiro Seki
11 - 12 2014.3
Some Metacomplete Relevant Modal Logics Reviewed
Takahiro Seki
STUDIA LOGICA 101 ( 5 ) 1115 - 1141 2013.10
各組織における評価文化の定着に向けた取組― 評価センターの試行錯誤 ― Reviewed
関 隆宏
第2回大学情報・機関調査研究集会論文集 38 - 41 2013.9
A Gentzen-style formulation for non-associative substructural logics I
Takahiro Seki
19 - 20 2013.3
Metacompleteness of Substructural Logics Reviewed
Takahiro Seki
STUDIA LOGICA 100 ( 6 ) 1175 - 1199 2012.12
An Algebraic Proof of the Admissibility of gamma in Relevant Modal Logics Reviewed
Takahiro Seki
STUDIA LOGICA 100 ( 6 ) 1149 - 1174 2012.12
On relations among double negation translations in substructural logics
Takahiro Seki
19 - 20 2012.9
Disjunction property of non-associative substructural logics Reviewed
Takahiro Seki
Logic, Algebra and Truth Degrees 2012 136 - 139 2012.9
結合則を持たない部分構造論理における Glivenko の定理について
関 隆宏
日本数学会2012年度年会 数学基礎論および歴史分科会講演アブストラクト 41 - 42 2012.3
部分構造論理における許容規則
関 隆宏
日本数学会2011年度秋季総合分科会 数学基礎論および歴史分科会講演アブストラクト 25 - 26 2011.9
The gamma-admissibility of Relevant Modal Logics II - The Method using Metavaluations Reviewed
Seki Takahiro
STUDIA LOGICA 97 ( 3 ) 351 - 383 2011.4
The gamma-admissibility of Relevant Modal Logics I - The Method of Normal Models Reviewed
Takahiro Seki
STUDIA LOGICA 97 ( 2 ) 199 - 231 2011.3
Takahiro Seki
University Evaluation Review ( 9 ) 81 - 90 2010.9
Takahiro Seki
( 15 ) 43 - 51 2010.3
Takahiro Seki
The Journal of University Studies, University of the Ryukyus 3 ( 3 ) 15 - 23 2010.3
Issues obtained from institutional certified evaluation and accreditation of Niigata University
Takahiro Seki
( 14 ) 47 - 53 2009.6
A proposal for future internal evaluation activities for national university corporation evaluation
Takahiro Seki
( 14 ) 39 - 46 2009.6
Completeness of relevant modal logics with disjunctive rules Reviewed
Takahiro Seki
Reports on Mathematical Logic 44 3 - 18 2009.4
A note on disjunction property of some substructural logics
Takahiro Seki
Proceedings of the 42nd MLG meeting at Fukuoka, Japan 2008 29 - 32 2008.11
An algebraic approach to prove γ-admissibility of relevant modal logics
Takahiro Seki
Proceedings of the 41st MLG meeting at Kinosaki, Japan 2007 2007.12
An implementation of dendrogram in a faceted search engine
T.Seki, T.Wada, Y.Yamada, S.Hirokawa
1 395 - 396 2007.3
A faceted search engine for supporting information retrieval and analysis Reviewed
Takahiro Seki, Taiki Wada, Yasuhiro Yamada, Sachio Hirokawa
2007.2
Multiple viewed search engine for an e-journal - A case study on zoological science Reviewed
Takahiro Seki, Taiki Wada, Yasuhiro Yamada, Nozomi Ytow, Sachio Hirokawa
HUMAN-COMPUTER INTERACTION, PT 4, PROCEEDINGS 4553 989 - + 2007
Primeness of relevant modal logics
Takahiro Seki
Proceedings of the 40th MLG meeting at Yufuin, Japan 2006 8 - 11 2006.12
A faceted search engine for scientific articles
T.Seki, T.Wada, Y.Yamada, S.Hirokawa
13 - 18 2006.9
T.Seki, Y.Yasumoto, T.Wada, N.Ytow, S.Hirokawa
Digital libraries 30 ( 30 ) 72 - 80 2006.3
Multipronged retrieval system for care card as XML documents
T.Seki, Y.Yasumoto, T.Wada, N.Nakashima, S.Hirokawa
3 51 - 52 2006.3
Multiple-viewed search and analysis engine for electrical journal
T.Seki, Y.Yasumoto, T.Wada, N.Ytow, S.Hirokawa
3 43 - 44 2006.3
Two topics on disjunctive rules in relevant modal logic
Takahiro Seki
Proceedings of the 39th MLG meeting at Gamagori, Japan 2005 53 - 55 2005.10
XDES-多様な構造と流動的変化に対応できるデータエントリシステムの構築
杉本典子, 金丸玲子, 関 隆宏, 石野 明, 竹田正幸, 廣川佐千男
第４回情報科学技術フォーラム一般講演論文集 2 27 - 30 2005.9
Multiple analysis of reputation information of hospitals
Y.Yasumoto, T.Wada, T.Seki, S.Hirokawa
1 - 4 2005.8
Evaluation of Granularity of Keywords with Global and Local Document Frequencies
SHIMOJI Yoshihiro, WADA Taiki, YASUMOTO Yuji, YAMADA Yasuhiro, SEKI Takahiro, HIROKAWA Sachio
IPSJ SIG Notes 168 ( 73 ) 7 - 12 2005.7
Faceted search engine for activities of academic staff
S.Hirokawa, T.Seki, Y.Yasumoto, Y.Yamada
2 665 - 672 2005.7
Faceted search engine for activities of academic staff
S.Hirokawa, T.Seki, Y.Yasumoto, Y.Yamada
67 - 72 2005.7
An Analysis of Reputation Information of Hospitals using Frequency of Words
WADA TAIKI, SEKI TAKAHIRO, TANAKA SHOSAKU, HIROKAWA SACHIO
IPSJ SIG Notes 2005 ( 50 ) 15 - 20 2005.5
, Associated search engine of researcher datas and patent datas for technology transfers
T.Seki, N.Ogawa, T.Kakioka, S.Hirokawa
25 - 26 2005.5
A matching retrieval model between industrial needs and technological seeds
S.Hirokawa, T.Seki, N.Ogawa, T.Kakioka
144 - 145 2005.5
Exploiting the university evaluation system for research strategy
S.Tanaka, T.Seki, A.Ishino, R.Kanamaru, N.Sugimoto, M.Takeda, S.Hirokawa
4 623 - 626 2005.3
Frequent words in research activities of university researchers
T.Seki, Y.Yasumoto, S.Hirokawa
1 - 8 2005.3
An implementation of XML data base for university evaluation system
N.Sugimoto, T.Seki, A.Ishino, R.Kanamaru, M.Takeda, S.Hirokawa
3 71 - 72 2005.3
Teacher associative search engine
Takahiro Seki, Sachio Hirokawa
2005-DD-48(5) 33 - 40 2005.1
The γ-admissibility for relevant modal logics with Lemmon-Scott axioms
Takahiro Seki
Proceedings of the 38th MLG meeting at Gamagori, Japan 2004 20 - 22 2004.10
The γ-admissibility for relevant modal logics
Takahiro Seki
Proceedings of the 37th MLG meeting at Shizuoka, Japan 2003 46 - 49 2003.12
A Sahlqvist theorem for relevant modal logics Reviewed
Takahiro Seki
Studia Logica 73 ( 3 ) 383 - 411 2003.4
General Frames for Relevant Modal Logics Reviewed
Takahiro Seki
Notre Dame Journal of Formal Logic 44 ( 2 ) 93 - 109 2003
A Semantical Study of Relevant Modal Logic Reviewed
Takahiro Seki
2002.3
A Sahlqvist theorem for relevant modal logics
Takahiro Seki
Proceedings of the 35th MLG meeting at Echigo-Yuzawa, Japan 2002 33 - 35 2002.1
Some remarks on Maehara's method Reviewed
Takahiro Seki
Bulletin of the Section of Logic 30 ( 3 ) 147 - 154 2001.10
Some topics on relevant modal matrices
Takahiro Seki
Research Report IS-RR-2001-023, Japan Advanced Institute of Science and Technology 2001 1 - 27 2001.9
On the proof of the interpolation theorem without using constants
Takahiro Seki
Research Report IS-RR-2001-013, Japan Advanced Institute of Science and Technology 2001 1 - 23 2001.7
Lemmon-Scott axioms for relevant modal logics
Takahiro Seki
Research Report IS-RR-2001-009, Japan Advanced Institute of Science and Technology 2001 1 - 23 2001.4
Models for normal modal logics over KR
Takahiro Seki
Proceedings of the 34th MLG meeting at Echigo-Yuzawa, Japan 2001 5 - 9 2001.1
国立大学法人の中期計画の比較分析-国立大学法人評価の評価結果を踏まえて-
高田英一, 森雅生, 関隆宏, 大石哲也, 小柏香穂理, 高松邦彦
日本教育情報学会年会論文集 38th 2022
Current status and issues of university ranking efforts at Japanese universities Based on the results of a questionnaire survey on reputation management efforts
高田英一, 大石哲也, 森雅生, 関隆宏, 小柏香穂理, 劉沙紀
教育情報研究(Web) 37 ( 2.3 ) 2022
我が国の大学におけるレピュテーション・マネジメントの現状と課題-国公私立大学を対象としたアンケート調査の結果を基に-
高田英一, 大石哲也, 森雅生, 関隆宏, 小柏香穂理, 劉沙紀
日本教育情報学会年会論文集 37th 2021
レピュテーション・マネジメントにおけるステークホルダーについての調査結果-使用している手法・ツールとその効果に注目して-
大石哲也, 高田英一, 劉沙紀, 小柏香穂理, 関隆宏, 森雅生
日本教育情報学会年会論文集 37th 2021
IRの内部質保証システムへの支援の現状と課題 -国立大学に対するアンケートを基に-
高田英一, 森雅生, 関隆宏, 大石哲也, 川辺聡史
大学情報・機関調査研究集会論文集(Web) 5 2021
我が国の大学における大学ランキングに関する取組の現状と課題 : レピュテーション・マネジメントの取組に関するアンケート調査の結果を基に—Current status and issues of university ranking efforts at Japanese universities : Based on the results of a questionnaire survey on reputation management efforts
高田 英一, 大石 哲也, 森 雅生, 関 隆宏, 小柏 香穂理, 劉 沙紀
教育情報研究 / 日本教育情報学会「教育情報研究」編集委員会 編 37 ( 2・3 ) 29 - 36 2021
The Current Situations of reputation management and IR of national universities Based on the survey results
高田英一, 大石哲也, 森雅生, 関隆宏, 小柏香穂理, 劉沙紀
教育情報研究(Web) 36 ( 2 ) 2020
高田 英一, 大石 哲也, 森 雅生, 関 隆宏, 小柏 香穂理, 劉 沙紀
年会論文集 35 124 - 127 2019.8
世界のレピュテーション・マネジメントの現状と日本におけるIR担当者の意識 (日本教育情報学会第35回年会) -- (インスチテューショナル・リサーチの基礎と展開(IR研究会))
大石 哲也, 劉 沙紀, 小柏 香穂理, 関 隆宏, 高田 英一, 森 雅生
年会論文集 35 120 - 123 2019.8
Evaluation of Granularity of Keywords with Global and Local Document Frequencies
SHIMOJI Yoshihiro, WADA Taiki, YASUMOTO Yuji, YAMADA Yasuhiro, SEKI Takahiro, HIROKAWA Sachio
IEICE technical report. Natural language understanding and models of communication 105 ( 203 ) 7 - 12 2005.7
メタ完全性を用いたカット除去定理の証明
関 隆宏
証明論研究集会2018 2018.12
Variations of axioms K and S in substructural logics
Takahiro Seki
6th Asian Workshop on Philosophical Logic 2024.3
公理Wに対応する推論規則とその周辺
関 隆宏
第58回数理論理学研究集会 2024.2
A Gentzen-style calculus for substructural logics with axioms W and S
2023.12
Constant-free substructural logics with associative exchange rules
関 隆宏
第57回数理論理学研究集会 2023.3
公理Sの族に対応する推論規則
関 隆宏
証明論研究集会2022 2022.12
制限された weakening と contraction を持つ結合則を持たない部分構造論理の可換性
関 隆宏
日本数学会2022年度秋季総合分科会 2022.9
Exchange に関わる結合則の族の関係
関 隆宏
第56回数理論理学研究集会 2022.3
Exchange に関わる結合則の族に対応する推論規則
関 隆宏
証明論研究集会2021 2021.12
Exchange に関わる結合則の族の分類
関 隆宏
日本数学会2021年度秋季総合分科会 2021.9
適切論理から見た部分構造論理 Invited
関 隆宏
日本数学会2021年度年会 2021.3
結合則を持たない部分構造論理の Kripke 型意味論について
関 隆宏
第55回数理論理学研究集会 2021.3
対偶を持つ対合的部分構造論理における結合則の族について
関 隆宏
証明論研究集会2020 2020.12
対偶を持つ対合的部分構造論理に対する Gentzen 流の形式化
関 隆宏
日本数学会2020年度秋季総合分科会 2020.9
A sequent calculus for substructural logics with associative weakening rules
関 隆宏
証明論研究集会2019 2019.12
A Gentzenization of some substructural logics with contraposition
Takahiro Seki
2019.12
制限のある weakening 規則について
関 隆宏
日本数学会2019年度秋季総合分科会 2019.9
様相論理S4のカット除去定理のメタ評価値を用いた証明
関 隆宏
日本数学会2019年度年会 2019.3
メタ完全性を用いたカット除去定理の証明
関 隆宏
第53回数理論理学研究集会 2018.12
IRによる中期計画の策定の支援の現状と課題―国立大学に対するアンケート調査の結果を中心に―
高田英一, 大石哲也, 関 隆宏, 森 雅生
日本教育情報学会第34回年会 2018.8 日本教育情報学会
レピュテーション・マネジメントの推進に向けたIRのあり方―教学IR分析の観点から―
大石哲也, 劉 沙紀, 小柏香穂理, 関 隆宏, 高田英一, 森 雅生
日本教育情報学会第34回年会 2018.8 日本教育情報学会
Some relevant modal logics characterized by reduced frames
Takahiro Seki
2018.3
目標・計画の策定とIR―中期目標・中期計画を中心に―
関 隆宏
IR集中講習会 2018.1
A semilattice semantics in relevant logics
Takahiro Seki
2017.9
How can IR support the management of Japanese national universities on the mid-term plan related to globalization? International conference
Tetsuya Oishi, Eiichi Takata, Noriko Kuwano, Takahiro Seki, Masao Mori, Masashi Sekiguchi
The 17th Annual SEAAIR Conference 2017.9 SEAAIR (South East Asian Association for Institutional Research)
日本の国立大学における経営計画の課題とIRによる支援のあり方について－グローバル化に関する中期計画を中心に
大石哲也, 高田英一, 桑野典子, 関 隆宏, 森 雅生, 関口正司
第6回大学情報・機関調査研究集会 2017.8
公的集計データを用いた大学間比較ことはじめ―新潟大学の事例から―
関 隆宏
第6回大学情報・機関調査研究集会 2017.8
Craig's interpolation theorem for non-associative substructural logics
Takahiro Seki
2017.3
IRの内部質保証システムへの支援の現状と課題 －国立大学に対するアンケートを基に－
高田英一, 森 雅生, 関 隆宏, 大石哲也, 川辺聡史
第5回大学情報・機関調査研究集会（MJIR） 2016.7
結合則を持たない部分構造論理に対する決定可能性
関 隆宏
日本数学会2016年度年会 数学基礎論および歴史分科会 2016.3 日本数学会
「新潟大学ファクトブック2015」の作成について
関 隆宏, 今井 博英, 小田 美奈子
平成27年度第4回IR実務担当者連絡会 2016.2 大学評価コンソーシアム
Decidability of some involutive non-associative substructural logics
関 隆宏
第50回数理論理学研究集会 2016.1
認証評価を契機とする教育改善状況の把握と改善事例 ―新潟大学の場合―
関 隆宏
第4回大学情報・機関調査研究集会 2015.7
評価・IR担当者に必要な知識・スキルに関する考察 ―人材育成プログラムの開発・充実に向けて―
嶌田敏行, 小湊卓夫, 浅野茂, 大野賢一, 佐藤仁, 末次剛健志, 関隆宏, 土橋慶章, 藤井都百, 藤原将人, 藤原宏司
日本高等教育学会第18回大会 2015.6 日本高等教育学会
大学の意思決定支援を目的とした指標の策定に関する検討
藤原宏司, 大野賢一, 浅野茂, 嶌田敏行, 関隆宏, 小湊卓夫
日本高等教育学会第18回大会 2015.6 日本高等教育学会
Hallden-completeness and Sahlqvist formulas
Takahiro Seki
2015.3
新潟大学におけるIRの取組とIRに係る職能開発のあり方 Invited
関 隆宏
第1回教職開発研究会 2015.3 日本教育情報学会
オレゴン大学IRオフィス訪問記
関 隆宏
平成26年度第1回IR実務担当者連絡会 2015.1 大学評価コンソーシアム
A note on American plan semantics of relevant modal logics
関 隆宏
第49回数理論理学研究集会 2014.12
認証評価の自己評価書における教育関連データからの課題 ―新潟大学の事例を中心に―
関 隆宏
第3回大学情報・機関調査研究集会 2014.9
国立大学の評価・IR 部署における業務の現状と今後の展開に関する一考察
嶌田敏行, 藤原宏司, 浅野茂, 大野賢一, 関隆宏, 小湊卓夫, 土橋慶章, 本田寛輔
日本高等教育学会第17回大会 2014.6 日本高等教育学会
結合則を持たない部分構造論理に対する Gentzen 流の形式化 II
関 隆宏
日本数学会2014年度年会 数学基礎論および歴史分科会 2014.3 日本数学会
A remark on metacomplete relevant modal logics
関 隆宏
第48回数理論理学研究集会 2013.12
各組織における評価文化の定着に向けた取組― 評価センターの試行錯誤 ―
関 隆宏
第2回大学情報・機関調査研究集会 2013.9
結合則を持たない部分構造論理に対する Gentzen 流の形式化 I
関 隆宏
日本数学会2013年度年会 数学基礎論および歴史分科会 2013.3 日本数学会
A Gentzenization of some involutive non-associative substructural logics
関 隆宏
第47回数理論理学研究集会 2012.11
On relations among double negation translations in substructural logics
Takahiro Seki
2012.9
Disjunction property of non-associative substructural logics International conference
Takahiro Seki
Logic, Algebra and Truth Degrees 2012 2012.9 Research Center for Integrated Science (of the Japan Advanced Institute of Science and Technology), the EUSFLAT Working Group on Mathematical Fuzzy Logic
結合則を持たない部分構造論理における Glivenko の定理について
関 隆宏
日本数学会2012年度年会 数学基礎論および歴史分科会 2012.3 日本数学会
Recent topics on relevant modal logics International conference
Takahiro Seki
Asian workshop on Philosophical Logic 2012 2012.2
Some negative translations of non-associative substructural logics
関 隆宏
第46回数理論理学研究集会 2011.10
部分構造論理における許容規則
関 隆宏
日本数学会2011年度秋季総合分科会 数学基礎論および歴史分科会 2011.9 日本数学会
On Hallden-completeness of relevant modal logics
関 隆宏
第45回数理論理学研究集会 2011.1
An algebraic proof of the γ-admissibility of relevant modal logics International conference
Takahiro Seki
Algebra and Substructural Logics -- Take Four 2010.6
The disjunction property and existence property of substructural logics over FL
Takahiro Seki
第44回数理論理学研究集会 2010.5
Intuitionistic primeness and modal primeness in relevant modal logics --- from algebraic view
関 隆宏
第43回数理論理学研究集会 2009.12
新潟大学における認証評価・法人評価の受審とその後
関 隆宏
大学評価担当者集会2009 2009.9
A note on disjunction property of some substructural logics
関 隆宏
第42回数理論理学研究集会 2008.11
An algebraic approach to prove gamma-admissibility of relevant modal logics
関 隆宏
第41回数理論理学研究集会 2007.12
評価を活かす ―九州大学教育改革企画支援室の取り組み―
関 隆宏
大学評価担当者集会2007 2007.9
Multiple viewed search engine for an e-journal --- a case study on Zoological Science International conference
Takahiro Seki, Taiki Wada, Yasuhiro Yamada, Nozomi Ytow, Sachio Hirokawa
The 12th International Conference on Human-Computer Interaction 2007.7
An implementation of dendrogram in a faceted search engine
T.Seki, T.Wada, Y.Yamada, S.Hirokawa
2007.3
A faceted search engine for supporting information retrieval and analysis
T.Seki, T.Wada, Y.Yamada, S.Hirokawa
2007.2
Primeness of relevant modal logics
関 隆宏
第40回数理論理学研究集会 2006.12
A faceted search engine for scientific articles
T.Seki, T.Wada, Y.Yamada, S.Hirokawa
2006.9
Some classes of relevant modal logics
関 隆宏
第23回記号論理学と情報科学研究集会 2006.9
Multipronged retrieval system for care card as XML documents
Y.Yasumoto, T.Seki, N.Nakashima, S.Hirokawa
2006.3
A retrieval and analysis of the electrical journal "Zoological Science" by multiple semantic matrix method
T.Seki, Y.Yasumoto, T.Wada, N.Ytow, S.Hirokawa
2006.3
Multiple-viewed search and analysis engine for electrical journal
T.Seki, Y.Yasumoto, T.Wada, N.Ytow, S.Hirokawa
2006.3
Two topics on disjunctive rules in relevant modal logic
関 隆宏
第39回数理論理学研究集会 2005.12
Search engine with multiple views International conference
Sachio Hirokawa, Takahiro Seki, Yasuhiro Yamada, Yuji Yasumoto, Taiki Wada
APII Workshop 2005 2005.9
A note on metavaluation and γ for relevant modal logics
関 隆宏
第22回記号論理学と情報科学研究集会 2005.9
Multiple analysis of reputation information of hospitals
Y.Yasumoto, T.Wada, T.Seki, S.Hirokawa
2005.8
Faceted search engine for activities of academic staff
S.Hirokawa, T.Seki, Y.Yasumoto, Y.Yamada
2005.7
Evaluation of granularity of keywords with global and local document frequencies
Y.Shimoji, T.Wada, Y.Yasumoto, Y.Yamada, T.Seki, S.Hirokawa
2005.7
Associated search engine of researcher datas and patent datas for technology transfers
T.Seki, N.Ogawa, T.Kakioka, S.Hirokawa
2005.5
An analysis of reputation information of hospitals using frequency of words
T.Wada, T.Seki, S.Tanaka, S.Hirokawa
2005.5
A matching retrieval model between industrial needs and technological seeds
S.Hirokawa, T.Seki, N.Ogawa, T.Kakioka
2005.5
An implementation of XML data base for university evaluation system
N.Sugimoto, T.Seki, A.Ishino, R.Kanamaru, M.Takeda, S.Hirokawa
2005.3
Frequent words in research activities of university researchers
T.Seki, Y.Yasumoto, S.Hirokawa
2005.3
Exploiting the university evaluation system for research strategy
S.Tanaka, T.Seki, A.Ishino, R.Kanamaru, N.Sugimoto, M.Takeda, S.Hirokawa
2005.3
Teacher associative search engine
T.Seki, S.Hirokawa
2005.1
The admissibility of gamma for relevant modal logics with Lemmon-Scott axioms International conference
Takahiro Seki
The Logic Summer School 2004 2004.12
The gamma admissibility for relevant modal logics with Lemmon-Scott axioms
関 隆宏
第38回数理論理学研究集会 2004.10
General frames for relevant modal logics
T.Seki
2004.9
The gamma admissibility for relevant modal logics International conference
Takahiro Seki
Workshop on Modal and Substructural Logics 2004.1
The gamma admissibility for relevant modal logics
T.Seki
2003.12
A Sahlqvist theorem for relevant modal logics
関 隆宏
第35回数理論理学研究集会 2002.1
Models for normal modal logics over KR
関 隆宏
第34回数理論理学研究集会 2001.1
大学の経営改善に資する経営計画のあり方に関する研究
Grant number：21K02659
2021.4 - 2024.3
System name：科学研究費助成事業 基盤研究(C)
Research category：基盤研究(C)
Awarding organization：日本学術振興会
高田 英一, 森 雅生, 関 隆宏, 大石 哲也, 小柏 香穂理, 高松 邦彦
Grant amount：\4160000 （ Direct Cost: \3200000 、 Indirect Cost：\960000 ）
令和3年度においては、国立大学の第3期の中期計画の現状と課題の把握を行った。
まず、国立大学の第3期中期目標期間の中期計画の現状と課題を把握した。具体的には、ロジックモデルの観点から、国立大学の中期計画の構造の分析を行った。ロジックモデルは、「目的」、「インプット」、「取組」、「アウトプット」、「アウトカム」の5つの要素で構成した。調査の結果、ロジックモデルの全ての要素を備えている中期計画はほとんどなかった。また、「目的」は要素の中で最も記載の割合が高かった。中期計画は法人評価が義務付けられていることから、不達成の評価を受けるリスクを回避するために「目的」の形で規定した可能性も推察される。さらに、「アウトプット」及び「アウトカム」は、「目的」よりも記載の割合は低かった。不達成のリスク回避や予測の困難さとともに、中期計画の策定の際に取組からアウトプット、アウトカムに至るまでの論理構造が十分に整理されていないことが要因と推察される。この分析結果については、取りまとめの上で、関係する学会、研究会等において公表し、意見交換を通じて、ブラッシュアップを図る予定である。
また、研究代表者、研究分担者の所属大学において、担当業務に関係して、第4期中期目標期間の中期計画の策定の支援に従事し、策定の過程、その状況を把握した。
さらに、国立大学の場合、中期計画と法人評価、PDCAサイクル、内部質保証は密接な関係があることから、今後の法人評価の方向に関する研究を行った。
部分構造論理における結合則の族の階層性
Grant number：19K03600
2019.4 - 2023.3
System name：科学研究費助成事業 基盤研究(C)
Research category：基盤研究(C)
Awarding organization：日本学術振興会
関 隆宏
Grant amount：\3510000 （ Direct Cost: \2700000 、 Indirect Cost：\810000 ）
古典論理や直観主義論理に対するシーケント計算における構造に関する規則（weakening，contraction，exchange）のいくつかを取り除いたり，新たな公理を加えたりすることにより得られる部分構造論理の多くの研究では，（fusion に関する）結合則を仮定している。本研究では，「結合則を持たない部分構造論理」におけるさまざまな論理的性質の考察を通じて，部分構造論理における「結合則とその族」の階層性を解明することを目的としている。
本年度は，以下の2つの研究を進めた。1つめは，対偶を持つ対合的部分構造論理の結合則の族に関する構造規則を証明論的観点から考察した。対偶も対合性も持たない部分構造論理では，結合則の族に属する個々の論理式に一つの構造規則が対応するが，対偶や対合性を持つ場合は，結合則の族に属する個々の論理式に複数の構造規則の組み合わせが対応する場合があることを明らかにした。2つめは，結合則の族に属する基本的な論理式のいくつかについて，Kripke 型意味論におけるフレーム条件を明らかにした。これを用いて，結合則を持つ部分構造論理において weakening と contraction の両方があれば exchange を導出できるという結果について，結合則を持たない場合に類似する結果の一部を得ることができた。特に，ある「結合的weakening」と「結合的contraction」の組み合わせにより exchange を導出できることは，「結合則とその族」の階層性を考える上で重要な結果であると考えられる。
これらの結果を国内学会・研究会で4回（うち1回は特別講演として）発表した。
大学のレピュテーション・マネジメントの推進のためのIRの活用のあり方に関する研究
Grant number：18K02705
2018.4 - 2022.3
System name：科学研究費助成事業 基盤研究(C)
Research category：基盤研究(C)
Awarding organization：日本学術振興会
高田 英一, 森 雅生, 関 隆宏, 大石 哲也, 小柏 香穂理, 劉 沙紀
Grant amount：\4160000 （ Direct Cost: \3200000 、 Indirect Cost：\960000 ）
令和元年度に国立大学を対象として行ったレピュテーション・マネジメントの取組に関するアンケート調査の結果をまとめて、論文として公表した。論文では、調査の結果から，レピュテーション・マネジメントの重要性が多くの大学で認識されるとともに，レピュテーション・マネジメントに関する取組が実施されていること，また，レピュテーション・マネジメントへの IR の活用の必要性が認識されている状況が明らかとなったことを指摘した。
また、レピュテーション・マネジメントの取組の有力なツールである大学のWebページに着目し、大学が「自大学のランクイン」に関する情報をWebページに掲載していることを大学ランキングのレピュテーション・マネジメントへの活用事例と見なした上で、日本の大学のWebページにおける著名な大学ランキングへのランクインに関する情報の掲載状況の調査を行い、その結果を学会に報告した。学会報告では、ランクインした全ての大学が大学ランキングをRMに活用しているわけではない状況を踏まえて、各大学では順位の高さだけでなく、各ランキングの評価項目、ステイタス等の要素を考慮した上で、レピュテーション・マネジメントへの大学ランキングの活用に関する判断を行っているとの推察等を指摘した。
さらに、上記の調査結果を踏まえて、レピュテーション・マネジメントの取組の調査項目の検討を行った上で、我が国の全大学を対象としてレピュテーション・マネジメントに関する取組のアンケート調査を実施した。その際、特にレピュテーション・マネジメントの取組の重要なツールである大学ランキングについても調査を行った。
Research on collection and analysis of practical knowledge for upgrading IR function of University
Grant number：15H03469
2015.4 - 2019.3
System name：Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (B)
Research category：Grant-in-Aid for Scientific Research (B)
Awarding organization：Japan Society for the Promotion of Science
Shimada Toshiyuki, Suetsugu Takeshi, Fujiwara Masato, Yamamoto Koichi, Fujiwara Koji, Kobayashi Hiromi, Nanba Kiyoshi, Asano Akito
Grant amount：\13130000 （ Direct Cost: \10100000 、 Indirect Cost：\3030000 ）
Through this study, we constructed a methodology to collect, organize and share practical "knowledge" that contributes to the advancement of university management.
We developed a method for managing seminars, publishing journal to share the cases of university evaluation and institutional research method, and an educational program and rubric to improve the ability of institutional researchers.
This research has advanced the evaluation and IR activities of universities.
Practical study on formulation of management plan at national university and how to support by IR
Grant number：15K04305
2015.4 - 2018.3
System name：Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (C)
Research category：Grant-in-Aid for Scientific Research (C)
Awarding organization：Japan Society for the Promotion of Science
Takata Eiichi
Grant amount：\4550000 （ Direct Cost: \3500000 、 Indirect Cost：\1050000 ）
In this research, we conducted research on content and progress management issues for the national university's medium term plan. We also implemented support for the formulation of a medium-term plan by IR and verified the results.In addition, we conducted a survey on the status of IR support for the formulation of the mid-term plan at national universities and grasp the current situation and issues. Also, I examined how to support the plan formulation by IR. Furthermore, based on the research results, we developed a human resource development program to support planning.
Institutional Effectiveness for University Educational Management
Grant number：25381083
2013.4 - 2016.3
System name：Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (C)
Research category：Grant-in-Aid for Scientific Research (C)
Awarding organization：Japan Society for the Promotion of Science
Kominato Takuo, Shimada Toshiyuki, Asano Shigeru, Ohno Kenichi, Sato Hitoshi, Seki Takahiro
Grant amount：\4810000 （ Direct Cost: \3700000 、 Indirect Cost：\1110000 ）
The university education need to goal setting for curriculum. There is important things that how do you evaluate the educational goals. And it was a problem that construction of the structure of some review system for educational courses in the university wide.That view of the point means that Japanese university needs some program review and improvement plan based on it.
Grant number：24531011
2012.4 - 2016.3
System name：Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (C)
Research category：Grant-in-Aid for Scientific Research (C)
Awarding organization：Japan Society for the Promotion of Science
Takata Eiichi, KUWANO Noriko, MORI Masao, SEKI Takahiro, SEKIGUCHI Masashi
Grant amount：\5070000 （ Direct Cost: \3900000 、 Indirect Cost：\1170000 ）
This study is study about institutional research which support to internal quality assurance in japanese universities. This study includes studies about an education curriculum of human resources and a data base for institutional research. And we did a questionnaire survey to japanese national universities in order to investigate the situation of the support to internal quality assurance by institutional research. We found out that institutional research doesn't support the internal quality assurance sufficiently according to survey result. And we found out that it's important to include institutional research in internal quality assurance system as the whole university management system as well as an individual problem.
A study of IR professional development program
Grant number：24530988
2012.4 - 2015.3
System name：Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (C)
Research category：Grant-in-Aid for Scientific Research (C)
Awarding organization：Japan Society for the Promotion of Science
SHIMADA Toshiyuki, KOMINATO Takuo, ASANO Shigeru, OHNO Kenichi, SATO Hitoshi, SEKI Takahiro, TSUCHIHASHI Yoshiaki, ASANO Akito, KOBAYASHI Hiromi, SUETSUGU Takeshi, NANBA Kiyoshi, FUJII Tomo, FUJIWARA Koji, FUJIWARA Masato, HONDA Hiroshike
Grant amount：\5070000 （ Direct Cost: \3900000 、 Indirect Cost：\1170000 ）
In this study, we developed a professional training program for those who are at Institutional Research (IR) and/or University Evaluation (UE) office in Japan. Throughout the continuum of the program creation process, a wide variety of meetings and workshops were convened. We successfully defined the skills necessary to complete the IR/UE job, and published the guidelines for data collection, analysis and utilization to IR/UE colleagues. Besides, 14 reports (a total of 940 pages long) have been created based on the meetings. These reports are available to the public via our website, and can be used as self-instructional text materials to improve the skill set for IR/UE work.
Advances in Logics by Algebraic Methods
Grant number：17540109
2005 - 2007
System name：Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (C)
Research category：Grant-in-Aid for Scientific Research (C)
Awarding organization：Japan Society for the Promotion of Science
ONO Hiroakira, GALATOS Nikolaos, TANAKA Yoshihito, SEKI Takahiro
Grant amount：\3590000 （ Direct Cost: \3200000 、 Indirect Cost：\390000 ）
Algebraic approaches to logics are attracting much attention in recent year. One can see this tendency in particular in the study of modal logics and substructural logics, which accelerates collaborations among logicians and algebraists. The head investigator Ono has made a certain contribution to this. In fact, he organized the workshop "Algebra and Substructural Logics" (AsubL) twice before at JAIST in 1999 and 2002.
During the term of the present project, Ono organized the 2nd International Conference "Algebraic and Topological Methods in Nonclassical Logics" (TANCL) at Barcelona in 2005 as the chair. The conference was quite successful, and therefore international conferences of this kind have been organized often, after this. During the 3rd TANCL conference held in 2007 at Oxford, it was decided to have the conference biennially, and Ono was elected as a member of its steering committee. Also, together with A. Wronski, he organized the 3rd AsubL workshop in Krakow of Poland in 2006, which was small but of high level. The collection of selected papers presented there was published already as a special issue of Reports on Mathematical Logic.
Ono gave tutorial talks in two international conferences "Ordered Structures in Many-Valued Logics" in 2006 and "Order, Algebra and Logics" in 2007. In the latter, also N. Galatos, an investigator of the project, gave an invited talk. These talks are based on two joint papers with Ono and Galatos, in which some of fundamental results on substructural logics and residuated lattices are shown.
The most important contribution of our project is that we have finally completed a book with the help of both T. Kowalski and P. Jipsen. The book "Residuated Lattices: an algebraic glimpse at substructural logics" consists of more than 500 pages, which was published in 2007 from Elsevier as a volume in the prestigious series "Studies in Logic and the Foundations of Mathematics". It has already had a reputation as a seminal work in this research field.
代数学序説
代数学特講
幾何学特講
応用代数学I
代数学演習II
代数学特論II
応用幾何学I
応用代数学II
応用代数学I
幾何学特講
代数学特論II
代数学演習II
代数学序説
代数学特講
上越教育大学 大学評価に関する講演会
Role(s)： Lecturer
上越教育大学 大学評価に関する講演会 上越教育大学 2018.9
Role(s)： Lecturer, Planner, Organizing member, Report writing
大学評価コンソーシアム 第12回大学評価・IR担当者集会2018 九州工業大学 戸畑キャンパス 2018.8
研究や産学連携の推進に向けたIRの基礎
Role(s)： Lecturer
高等教育コンソーシアムにいがた産学連携部会 平成29年度高等教育コンソーシアムにいがた産学連携部会主催セミナー 新潟大学駅南キャンパス「ときめいと」 2017.11
平成29年度教職12年経験者研修
Role(s)： Lecturer, Advisor
新潟市教育委員会 新潟市立総合教育センター 2017.8 - 2018.1
Role(s)： Lecturer, Planner, Organizing member, Report writing
大学評価コンソーシアム 第11回大学評価・IR担当者集会2017 立命館大学 大阪いばらきキャンパス 2017.8
Role(s)： Lecturer, Planner, Organizing member, Report writing
大学評価コンソーシアム 第10回大学評価担当者集会2016 立命館大学 大阪いばらきキャンパス 2016.8
Role(s)： Lecturer, Planner, Organizing member, Report writing
大学評価コンソーシアム 第9回大学評価担当者集会2015 神戸大学六甲台キャンパス 2015.8
大学情報・機関調査研究集会，運営委員
Role(s)： Organizing member
2012.3 - 2017.8
