関隆宏

セキタカヒロ | Seki Takahiro

研究分野 (3件)：教育学 , 情報学基礎論 , 数学基礎

研究キーワード (3件)：部分構造論理 , 適切様相論理 , 大学評価

競争的資金等の研究課題 (9件)：

全件表示

論文 (87件)：

関隆宏. 制限された weakening と contraction を持つ結合則を持たない部分構造論理の可換性. 日本数学会2022年度秋季総合分科会数学基礎論および歴史分科会講演アブストラクト. 2022. 27-28
関隆宏. Exchange に関わる結合則の族に対応する推論規則. 数理解析研究所講究録2228 RIMS共同研究(公開型)「証明と計算の理論と応用」. 2022. 41-46
高田英一, 大石哲也, 森雅生, 関隆宏, 小柏香穂理, 劉沙紀. 我が国の大学における大学ランキングに関する取組の現状と課題-レピュテーション・マネジメントの取組に関するアンケート調査の結果を基に. 教育情報研究. 2022. 37. 2.3. 29-36
関隆宏. Exchange に関わる結合則の族の分類. 日本数学会2021年度秋季総合分科会数学基礎論および歴史分科会講演アブストラクト. 2021. 3-4
関隆宏. 適切論理から見た部分構造論理. 日本数学会2021年度年会数学基礎論および歴史分科会講演アブストラクト. 2021. 9-18

MISC (10件)：

高田英一, 森雅生, 関隆宏, 大石哲也, 小柏香穂理, 高松邦彦. 国立大学法人の中期計画の比較分析-国立大学法人評価の評価結果を踏まえて-. 日本教育情報学会年会論文集. 2022. 38th
高田英一, 大石哲也, 森雅生, 関隆宏, 小柏香穂理, 劉沙紀. 我が国の大学における大学ランキングに関する取組の現状と課題レピュテーション・マネジメントの取組に関するアンケート調査の結果を基に. 教育情報研究(Web). 2022. 37. 2.3
高田英一, 大石哲也, 森雅生, 関隆宏, 小柏香穂理, 劉沙紀. 我が国の大学におけるレピュテーション・マネジメントの現状と課題-国公私立大学を対象としたアンケート調査の結果を基に-. 日本教育情報学会年会論文集. 2021. 37th
大石哲也, 高田英一, 劉沙紀, 小柏香穂理, 関隆宏, 森雅生. レピュテーション・マネジメントにおけるステークホルダーについての調査結果-使用している手法・ツールとその効果に注目して-. 日本教育情報学会年会論文集. 2021. 37th
高田英一, 森雅生, 関隆宏, 大石哲也, 川辺聡史. IRの内部質保証システムへの支援の現状と課題 -国立大学に対するアンケートを基に-. 大学情報・機関調査研究集会論文集(Web). 2021. 5

講演・口頭発表等 (89件)：

Variations of axioms K and S in substructural logics
(6th Asian Workshop on Philosophical Logic 2024)
公理Wに対応する推論規則とその周辺
(第58回数理論理学研究集会 2024)
公理WとSを持つ部分構造論理に対するゲンツェン流の形式化
(証明論研究集会2023 2023)
Constant-free substructural logics with associative exchange rules
(第57回数理論理学研究集会 2023)
公理Sの族に対応する推論規則
(証明論研究集会2022 2022)

学位 (3件)：

経歴 (5件)：

委員歴 (1件)：

所属学会 (3件)：

日本数学教育学会 , 日本高等教育学会 , 日本数学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

関 隆宏