2021/06/24 更新

写真a

セキ タカヒロ
関 隆宏
SEKI Takahiro
所属
経営戦略本部 評価センター 准教授
教育学研究科 教科教育専攻 准教授
職名
准教授
外部リンク

学位

  • 博士(情報科学) ( 2002年3月   北陸先端科学技術大学院大学 )

  • 修士(教育学) ( 1999年3月   新潟大学 )

  • 学士(教育学) ( 1997年3月   新潟大学 )

研究分野

  • 自然科学一般 / 数学基礎  / Mathematical Logic

  • 人文・社会 / 教育学  / 大学評価

  • 自然科学一般 / 応用数学、統計数学  / Mathematical Logic

  • 情報通信 / 情報学基礎論  / Mathematical Logic

経歴(researchmap)

  • 新潟大学   教育学研究科 教科教育専攻   准教授

    2013年4月 - 現在

      詳細を見る

  • 新潟大学   経営戦略本部 評価センター   准教授

    2007年10月 - 現在

      詳細を見る

  • 国立大学法人九州大学教育改革企画支援室   准教授

    2007年6月 - 2007年10月

      詳細を見る

  • 国立大学法人九州大学情報基盤研究開発センター   特任准教授

    2007年4月 - 2007年5月

      詳細を見る

  • 国立大学法人九州大学大学評価情報室   助手

    2004年5月 - 2007年3月

      詳細を見る

経歴

  • 新潟大学   教育学研究科 教科教育専攻   准教授

    2013年4月 - 現在

  • 新潟大学   経営戦略本部 評価センター   准教授

    2007年10月 - 現在

所属学協会

取得資格

  • 中学校教諭専修免許

  • 高等学校教諭専修免許

  • 高等学校教諭1種免許

  • 中学校教諭1種免許

 

論文

  • レピュテーション・マネジメントの推進に向けたIRのあり方-教学IR分析の観点から-

    大石哲也, 劉 沙紀, 小柏香穂理, 関 隆宏, 高田英一, 森 雅生

    日本教育情報学会第34回年会論文集   30 - 33   2018年8月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(研究会,シンポジウム資料等)   出版者・発行元:日本教育情報学会  

    日本の大学では個々の教職員が様々な活動を行っている一方で、ステークホルダーから十分な理解と支持を得られていないため、経営環境が厳しくなっている。これを改善するためにはステークホルダーによる認知の集積であるレピュテーション(reputation、評判)の向上を目指す必要がある。そのためにはステークホルダーの理解と支持を得るために適切なデータを提供する必要があるが、多くの大学では十分な取り組みが行われていない。現在、多くの大学でInstitutional Research(IR)が推進されているが、本稿ではステークホルダーへの適切なデータ提供を実現するためにIRがどのように活用できるか、教学IR分析の観点から考察する。

    researchmap

  • IRによる中期計画の策定の支援の現状と課題 -国立大学に対するアンケート調査の結果を中心に-

    高田英一, 大石哲也, 関 隆宏, 森 雅生

    日本教育情報学会第34回年会論文集   34 - 37   2018年8月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(研究会,シンポジウム資料等)   出版者・発行元:日本教育情報学会  

    厳しい経営環境に置かれている国立大学にとっては、適切な経営計画に基づくマネジメントが重要であるが、現在の中期計画は必ずしも適切とは言い難い状況にある。この中期計画の改善にはIRによる支援が考えられるが、アンケートによる実態調査の結果からは、IRによる計画策定の支援の実施は少数に留まり、支援の内容も十分でない状況が明らかとなった。ただ、IRの支援の必要性に対する認識は高いことから、今後、IRによる支援の拡大が予想される。

    researchmap

  • 縮減フレームで特徴づけられる適切様相論理

    関 隆宏

    日本数学会2018年度年会 数学基礎論および歴史分科会講演アブストラクト   51 - 52   2018年3月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(その他学術会議資料等)   出版者・発行元:日本数学会  

    適切論理や適切様相論理は一般に縮減フレームにより特徴づけることはできない。Slaney はどのような適切論理が縮減フレームによって特徴づけられるかを明らかにしたが,この結果を適切様相論理に拡張した場合について論じる。

    researchmap

  • 教育の内部質保証に対するIRによる支援の現状と課題:─国立大学に対するアンケートを基に─ 査読

    高田 英一, 森 雅生, 関 隆宏, 大石 哲也, 川辺 聡史

    大学評価・学位研究19 ( 0 ) 67 - 80   2018年

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(学術雑誌)   出版者・発行元:独立行政法人 大学改革支援・学位授与機構  

    <p>本研究では,国立大学における内部質保証のためのIRによる支援の実施状況に関するアンケート調査を行った。調査結果によると,IRの内部質保証への支援は,十分に行われているとは言えない状況であった。また,IR担当の組織・人が存在する大学では,IRによる評価への支援が多く行われていた。しかし,IRによる改善への支援や支援の有用性を高める要因は明確にならなかった。このため,今後,IRの組織・人以外のIRによる支援の有用性を高める要因を検討する必要がある。</p>

    DOI: 10.32175/hyokagakui.2018.19005

    CiNii Article

    researchmap

    その他リンク: http://id.nii.ac.jp/1107/00000436/

  • How can IR support the management of Japanese national universities on the mid-term plan related to globalization? 査読

    Tetsuya Oishi, Eiichi Takata, Noriko Kuwano, Takahiro Seki, Masao Mori, Masashi Sekiguchi

    The 17th Annual SEAAIR Conference Proceedings   318 - 324   2017年9月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(国際会議プロシーディングス)   出版者・発行元:SEAAIR (South East Asian Association for Institutional Research) PSB Academy Singapore  

    In this research, we will not only clarify the problems of the management plans but also study how IR can support these plans concretely.

    researchmap

  • 適切論理の semilattice 意味論再考

    関 隆宏

    日本数学会2017年度秋季総合分科会 数学基礎論および歴史分科会講演アブストラクト   33 - 34   2017年9月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(その他学術会議資料等)   出版者・発行元:日本数学会  

    Semilattice 意味論の基盤となる「情報小片」の考え方を活かして,semilattice という条件を弱めることにより得られる意味論に関して完全な適切論理とその周辺の論理について論じる。

    researchmap

  • 公的集計データを用いた大学間比較ことはじめ―新潟大学の事例から―

    関 隆宏

    第6回大学情報・機関調査研究集会論文集   20 - 25   2017年8月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(研究会,シンポジウム資料等)  

    researchmap

  • 日本の国立大学における経営計画の課題とIR による支援のあり方について―グローバル化に関する中期計画を中心に―

    大石 哲也, Oishi Tetsuya, 桑野 典子, Kuwano Noriko, 高田 英一, Takata Eiichi, 関 隆宏, Seki Takahiro, 森 雅生, Mori Masao, 関口 正司, Sekiguchi Masashi

    第6回 大学情報・機関調査研究会集会 論文集   8 - 13   2017年8月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(研究会,シンポジウム資料等)  

    CiNii Article

    researchmap

  • 結合則を持たない部分構造論理の Craig の補間定理

    関 隆宏

    日本数学会2017年度年会 数学基礎論および歴史分科会講演アブストラクト   51 - 52   2017年3月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(その他学術会議資料等)   出版者・発行元:日本数学会  

    いくつかの結合則を持たない部分構造論理の Craig の補間定理について,シーケント計算を用いて cut 除去定理の帰結として導出する方法を論じた。

    researchmap

  • IRの内部質保証システムへの支援の現状と課題 -国立大学に対するアンケートを基に-

    高田英一, 森 雅生, 関 隆宏, 大石哲也, 川辺聡史

    第5回大学情報・機関調査研究集会論文集   16 - 21   2016年7月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(研究会,シンポジウム資料等)  

    researchmap

  • 「新潟大学ファクトブック2015」の作成について 査読

    関 隆宏, 今井博英, 小田美奈子

    大学評価とIR ( 5 ) 44 - 52   2016年3月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(学術雑誌)   出版者・発行元:大学評価コンソーシアム  

    新潟大学IR推進室の活動の柱の一つに、大学の基礎的データを可視化し、ファクトブックにまとめる取組がある。「新潟大学ファクトブック2015」の作成過程とそこで直面した課題、今後の展開について報告する。

    researchmap

  • 結合則を持たない部分構造論理に対する決定可能性

    関 隆宏

    日本数学会2016年度年会 数学基礎論および歴史分科会講演アブストラクト   43 - 44   2016年3月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(その他学術会議資料等)   出版者・発行元:日本数学会  

    いくつかの結合則を持たない部分構造論理の決定可能性(与えられた論理式が証明可能かどうか判定できる性質)について,シーケント計算を用いて cut 除去定理の帰結として導出する方法を論じた。

    researchmap

  • 平成26年度大学機関別認証評価から見える新潟大学の課題 査読

    関 隆宏

    新潟大学高等教育研究3   27 - 32   2015年12月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(学術雑誌)  

    researchmap

  • 認証評価を契機とする教育改善状況の把握と改善事例 ―新潟大学の場合―

    関 隆宏

    第4回大学情報・機関調査研究集会論文集   46 - 50   2015年7月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(研究会,シンポジウム資料等)  

    researchmap

  • 評価・IR担当者に必要な知識・スキルに関する考察 ―人材育成プログラムの開発・充実に向けて―

    嶌田敏行, 小湊卓夫, 浅野茂, 大野賢一, 佐藤仁, 末次剛健志, 関隆宏, 土橋慶章, 藤井都百, 藤原将人, 藤原宏司

    日本高等教育学会第18回大会 発表要旨集録   124 - 125   2015年6月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(研究会,シンポジウム資料等)   出版者・発行元:日本高等教育学会  

    researchmap

  • 大学の意思決定支援を目的とした指標の策定に関する検討

    藤原宏司, 大野賢一, 浅野茂, 嶌田敏行, 関隆宏, 小湊卓夫

    日本高等教育学会第18回大会 発表要旨集録   202 - 203   2015年6月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(研究会,シンポジウム資料等)   出版者・発行元:日本高等教育学会  

    researchmap

  • オレゴン大学IRオフィス訪問記 査読

    関 隆宏

    大学評価とIR ( 2 ) 3 - 8   2015年5月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(学術雑誌)   出版者・発行元:大学評価コンソーシアム  

    新潟大学では2014 年10 月に「IR 推進室」を設置した。最近ではIR に関する日本語文献も多く見られるが、米国での事例を実際に見聞きすべく、新潟大学と大学間交流協定を締結しているオレゴン大学のIR オフィスを2015 年1月に訪問した。同大学のIR オフィスの組織や業務の実情について報告する。

    researchmap

  • Hallden 完全性と Sahlqvist 論理式

    関 隆宏

    日本数学会2015年度年会 数学基礎論および歴史分科会講演アブストラクト   23 - 24   2015年3月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(研究会,シンポジウム資料等)   出版者・発行元:日本数学会  

    researchmap

  • Hallden Completeness for Relevant Modal Logics 査読

    Takahiro Seki

    NOTRE DAME JOURNAL OF FORMAL LOGIC56 ( 2 ) 333 - 350   2015年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)   出版者・発行元:DUKE UNIV PRESS  

    Hallden completeness closely resembles the relevance property. To prove Hallden completeness in terms of Kripke-style semantics, the van Benthem-Humberstone theorem is often used. In relevant modal logics, the Hallden completeness of Meyer-Fuhrmann logics has been obtained using the van Benthem-Humberstone theorem. However, there remain a number of Hallden-incomplete relevant modal logics. This paper discusses the Hallden completeness of a wider class of relevant modal logics, namely, those with some Sahlqvist axioms.

    DOI: 10.1215/00294527-2864334

    Web of Science

    researchmap

  • 認証評価の自己評価書における教育関連データからの課題 ―新潟大学の事例を中心に―

    関 隆宏

    第3回大学情報・機関調査研究集会論文集   6 - 9   2014年9月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(研究会,シンポジウム資料等)  

    新潟大学は,大学評価・学位授与機構による機関別認証評価を現在受審中である。その際に作成する自己評価書には,さまざまな根拠資料・データが掲載される。本稿では,新潟大学の自己評価書に掲載した(あるいは掲載できなかった)教育関連データを手がかりに,データの内容面から今後さらなる検討・分析が必要であると考えられる課題について論じる。

    researchmap

  • 国立大学の評価・IR 部署における業務の現状と今後の展開に関する一考察

    嶌田敏行, 藤原宏司, 浅野茂, 大野賢一, 関隆宏, 小湊卓夫, 土橋慶章, 本田寛輔

    日本高等教育学会第17回大会 発表要旨集録   46 - 47   2014年6月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(研究会,シンポジウム資料等)   出版者・発行元:日本高等教育学会  

    researchmap

  • 結合則を持たない部分構造論理に対する Gentzen 流の形式化 II

    関 隆宏

    日本数学会2014年度年会 数学基礎論および歴史分科会講演アブストラクト   11 - 12   2014年3月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(その他学術会議資料等)  

    researchmap

  • Some Metacomplete Relevant Modal Logics 査読

    Takahiro Seki

    STUDIA LOGICA101 ( 5 ) 1115 - 1141   2013年10月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)   出版者・発行元:SPRINGER  

    A logic is called metacomplete if formulas that are true in a certain preferred interpretation of that logic are theorems in its metalogic. In the area of relevant logics, metacompleteness is used to prove primeness, consistency, the admissibility of gamma and so on. This paper discusses metacompleteness and its applications to a wider class of modal logics based on contractionless relevant logics and their neighbours using Slaney's metavaluational technique.

    DOI: 10.1007/s11225-012-9433-8

    Web of Science

    researchmap

  • 各組織における評価文化の定着に向けた取組― 評価センターの試行錯誤 ― 査読

    関 隆宏

    第2回大学情報・機関調査研究集会論文集   38 - 41   2013年9月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(その他学術会議資料等)  

    researchmap

  • 結合則を持たない部分構造論理に対する Gentzen 流の形式化 I

    関 隆宏

    日本数学会2013年度年会 数学基礎論および歴史分科会講演アブストラクト   19 - 20   2013年3月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(その他学術会議資料等)  

    researchmap

  • Metacompleteness of Substructural Logics 査読

    Takahiro Seki

    STUDIA LOGICA100 ( 6 ) 1175 - 1199   2012年12月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)   出版者・発行元:SPRINGER  

    Metacompleteness is used to prove properties such as the disjunction property and the existence property in the area of relevant logics. On the other hand, the disjunction property of several basic propositional substructural logics over FL has been proved using the cut elimination theorem of sequent calculi and algebraic characterization. The present paper shows that Meyer's metavaluational technique and Slaney's metavaluational technique can be applied to basic predicate intuitionistic substructural logics and basic predicate involutive substructural logics, respectively. As a corollary of metacompleteness, the disjunction property, the existence property, and the admissibility of certain rules in such logics can be proved.

    DOI: 10.1007/s11225-012-9458-z

    Web of Science

    researchmap

  • An algebraic proof of the admissibility of γ in relevant modal logics 査読

    Takahiro Seki

    Studia Logica100 ( 6 ) 1149 - 1174   2012年12月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1007/s11225-012-9459-y

    Web of Science

    researchmap

  • 部分構造論理における二重否定変換の関係について

    関 隆宏

    日本数学会2012年度秋季総合分科会 数学基礎論および歴史分科会講演アブストラクト   19 - 20   2012年9月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(その他学術会議資料等)  

    researchmap

  • Disjunction property of non-associative substructural logics 査読

    Takahiro Seki

    Logic, Algebra and Truth Degrees 2012   136 - 139   2012年9月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(国際会議プロシーディングス)  

    researchmap

  • 結合則を持たない部分構造論理における Glivenko の定理について

    関 隆宏

    日本数学会2012年度年会 数学基礎論および歴史分科会講演アブストラクト   41 - 42   2012年3月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(その他学術会議資料等)  

    researchmap

  • 部分構造論理における許容規則

    関 隆宏

    日本数学会2011年度秋季総合分科会 数学基礎論および歴史分科会講演アブストラクト   25 - 26   2011年9月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(その他学術会議資料等)  

    researchmap

  • The gamma-admissibility of Relevant Modal Logics II - The Method using Metavaluations 査読

    Seki Takahiro

    STUDIA LOGICA97 ( 3 ) 351 - 383   2011年4月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1007/s11225-011-9315-5

    researchmap

  • The γ-admissibility of relevant modal logics II --- the method using metavaluations 査読

    Takahiro Seki

    Studia Logica97 ( 3 ) 351 - 383   2011年4月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1007/s11225-011-9315-5

    Web of Science

    researchmap

  • The γ-admissibility of Relevant Modal Logics I - The Method of Normal Models 査読

    Takahiro Seki

    Studia Logica97 ( 2 ) 199 - 231   2011年3月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    The admissibility of Ackermann's rule γ is one of the most important problems in relevant logic. While the γ-admissibility of normal modal logics based on the relevant logic R has been previously discussed, the case for weaker relevant modal logics has not yet been considered. The method of normal models has often been used to prove the γ-admissibility. This paper discusses which relevant modal logics admit γ from the viewpoint of the method of normal models. © 2011 Springer Science+Business Media B.V.

    DOI: 10.1007/s11225-011-9306-6

    Scopus

    researchmap

  • The γ-admissibility of relevant modal logics I --- the method of normal models 査読

    Takahiro Seki

    Studia Logica97 ( 2 ) 199 - 231   2011年3月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1007/s11225-011-9306-6

    Web of Science

    researchmap

  • 認証評価から見える国立大学法人における教育成果の検証の現状 ―平成19・20年度の大学評価・学位授与機構による大学機関別認証評価の自己評価書から― 査読

    関 隆宏

    大学評価研究 ( 9 ) 81 - 90   2010年9月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(学術雑誌)  

    researchmap

  • 教育・研究に関する中期目標の達成状況の評価結果について―自己評価との比較を中心に

    関 隆宏

    大学教育研究年報 ( 15 ) 43 - 51   2010年3月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(大学,研究機関等紀要)  

    researchmap

  • 新潟大学における認証評価・法人評価の受審とその後 査読

    関 隆宏

    大学探究 ( 3 ) 15 - 23   2010年3月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(学術雑誌)  

    researchmap

  • 大学機関別認証評価を通じて得られた新潟大学の課題

    関 隆宏

    大学教育研究年報 ( 14 ) 47 - 53   2009年6月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(大学,研究機関等紀要)  

    researchmap

  • 国立大学法人評価に関わる学内評価活動の方途―「中期目標期間の達成状況報告書」「現況調査表」の作成経験を踏まえて―

    関 隆宏

    大学教育研究年報 ( 14 ) 39 - 46   2009年6月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(大学,研究機関等紀要)  

    researchmap

  • Completeness of relevant modal logics with disjunctive rules 査読

    Takahiro Seki

    Reports on Mathematical Logic44   3 - 18   2009年4月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    researchmap

  • 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月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(その他学術会議資料等)  

    researchmap

  • An algebraic approach to prove γ-admissibility of relevant modal logics

    Takahiro Seki

    Proceedings of the 41st MLG meeting at Kinosaki, Japan 2007   2007年12月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(その他学術会議資料等)  

    researchmap

  • Multiple viewed search engine for an e-journal --- a case study on Zoological Science (共著) 査読

    Takahiro Seki, Taiki Wada, Yasuhiro Yamada, Nozomi Ytow, Sachio Hirokawa

    The 12th International Conference on Human-Computer Interaction Part IV, LNCS 4553   989 - 998   2007年7月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    researchmap

  • 多面的解析システムにおけるデンドログラムの実装(共著)

    関 隆宏, 和多太樹, 山田泰寛, 廣川佐千男

    情報処理学会 第69回全国大会1   395 - 396   2007年3月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(その他学術会議資料等)  

    researchmap

  • 検索支援と分析のための多面的検索システム(共著) 査読

    関 隆宏, 和多太樹, 山田泰寛, 廣川佐千男

    DEWS2007 E1-2   2007年2月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(その他学術会議資料等)  

    researchmap

  • Primeness of relevant modal logics

    Takahiro Seki

    Proceedings of the 40th MLG meeting at Yufuin, Japan 2006   8 - 11   2006年12月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(その他学術会議資料等)  

    researchmap

  • 学会講演データの多面的解析システム(共著)

    関 隆宏, 和多太樹, 山田泰寛, 廣川佐千男

    人工知能学会研究会資料 SIG-FPAI-A601   13 - 18   2006年9月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(その他学術会議資料等)  

    researchmap

  • 多次元マトリックス法による電子ジャーナル Zoological Science の検索と分析(共著)

    関 隆宏, 安元裕司, 和多太樹, 伊藤 希, 廣川佐千男

    ディジタル図書館30   72 - 80   2006年3月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(その他学術会議資料等)  

    researchmap

  • XML文書としての電子カルテ検索システム(共著)

    関 隆宏, 安元裕司, 和多太樹, 中島直樹, 廣川佐千男

    情報処理学会 第68回全国大会3   51 - 52   2006年3月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(その他学術会議資料等)  

    researchmap

  • 電子ジャーナルの多面的検索分析システム(共著)

    関 隆宏, 安元裕司, 和多太樹, 伊藤 希, 廣川佐千男

    情報処理学会 第68回全国大会3   43 - 44   2006年3月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(その他学術会議資料等)  

    researchmap

  • 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月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(その他学術会議資料等)  

    researchmap

  • XDES-多様な構造と流動的変化に対応できるデータエントリシステムの構築(共著)

    杉本典子, 金丸玲子, 関 隆宏, 石野 明, 竹田正幸, 廣川佐千男

    第4回情報科学技術フォーラム一般講演論文集2   27 - 30   2005年9月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(その他学術会議資料等)  

    researchmap

  • 病院評判情報の多面的解析(共著)

    安元裕司, 和多太樹, 関 隆宏, 廣川佐千男

    人工知能学会研究会資料 SIG-KBS-A501   1 - 4   2005年8月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(その他学術会議資料等)  

    researchmap

  • 文書群の局所性と大域性の差を利用したキーワード粒度評価

    下司 義寛, 和多 太樹, 安元 裕司, 山田 泰寛, 関 隆宏, 廣川 佐千男

    情報処理学会研究報告. NL,自然言語処理研究会報告168   7 - 12   2005年7月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(その他学術会議資料等)   出版者・発行元:情報処理学会  

    検索エンジンによるキーワード検索をするとき、検索結果が数千件もあり多過ぎたり、数件しかなく少な 過ぎて求める文書が得られないことがある。前者では検索を狭めるため粒度がより細かいキーワードが必要であり、 後者では検索を広めるためより粒度が荒いキーワードが必要である。また、検索対象とする文書群に応じて単語の粒 度も違ったものとなる。本稿では、二つの文書群における単語の文書頻度を比較することにより、それぞれの文書群 におけるキーワードの専門性とその文書群におけるキーワードの粒度の評価法を提案する。

    CiNii Article

    researchmap

    その他リンク: http://hdl.handle.net/2324/2949

  • 文書群の局所性と大域性の差を利用したキーワード粒度評価

    下司 義寛, 和多 太樹, 安元 裕司, 山田 泰寛, 関 隆宏, 廣川 佐千男

    情報処理学会研究報告. NL,自然言語処理研究会報告168   7 - 12   2005年7月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(その他学術会議資料等)   出版者・発行元:情報処理学会  

    検索エンジンによるキーワード検索をするとき、検索結果が数千件もあり多過ぎたり、数件しかなく少な 過ぎて求める文書が得られないことがある。前者では検索を狭めるため粒度がより細かいキーワードが必要であり、 後者では検索を広めるためより粒度が荒いキーワードが必要である。また、検索対象とする文書群に応じて単語の粒 度も違ったものとなる。本稿では、二つの文書群における単語の文書頻度を比較することにより、それぞれの文書群 におけるキーワードの専門性とその文書群におけるキーワードの粒度の評価法を提案する。

    CiNii Article

    researchmap

    その他リンク: http://hdl.handle.net/2324/2949

  • 教員データに対する多面的検索システム(共著)

    廣川佐千男, 関 隆宏, 安元裕司, 山田泰寛

    情報処理学会研究報告 2005-DBS-1372   665 - 672   2005年7月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(その他学術会議資料等)  

    researchmap

  • 教員データに対する多面的検索システム(共著)

    廣川佐千男, 関 隆宏, 安元裕司, 山田泰寛

    電子情報通信学会技術研究報告 DE2005-118   67 - 72   2005年7月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(その他学術会議資料等)  

    researchmap

  • 単語の出現頻度に着目した病院評判情報の分析

    和多 太樹, 関 隆宏, 田中 省作, 廣川 佐千男

    情報処理学会研究報告2005 ( 50 ) 15 - 20   2005年5月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(その他学術会議資料等)   出版者・発行元:一般社団法人情報処理学会  

    CiNii Article

    researchmap

  • 技術移転のための教員データと特許データの連想検索システム(共著)

    関 隆宏, 小川暢祐, 垣岡武範, 廣川佐千男

    第3回産学連携学会講演予稿集   25 - 26   2005年5月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(その他学術会議資料等)  

    researchmap

  • 産業ニーズと技術シーズのマッチング検索モデル(共著)

    廣川佐千男, 関 隆宏, 小川暢祐, 垣岡武範

    第3回産学連携学会講演予稿集   144 - 145   2005年5月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(その他学術会議資料等)  

    researchmap

  • 大学経営における大学評価システムの活用(共著)

    田中省作, 関 隆宏, 石野 明, 金丸玲子, 杉本典子, 竹田正幸, 廣川佐千男

    情報処理学会 第67回全国大会4   623 - 626   2005年3月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(その他学術会議資料等)  

    researchmap

  • 教員データにおける高頻度語(共著)

    関 隆宏, 安元裕司, 廣川佐千男

    情報処理学会研究報告2005-NL-166   1 - 8   2005年3月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(その他学術会議資料等)  

    researchmap

  • XMLデータベースによる大学評価システムの構築(共著)

    杉本典子, 関 隆宏, 石野 明, 金丸玲子, 竹田正幸, 廣川佐千男

    情報処理学会 第67回全国大会3   71 - 72   2005年3月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(その他学術会議資料等)  

    researchmap

  • 教員連想検索システム (共著)

    関 隆宏, 廣川佐千男

    情報処理学会研究報告2005-DD-48(5)   33 - 40   2005年1月

     詳細を見る

    記述言語:日本語   掲載種別:研究論文(その他学術会議資料等)  

    researchmap

  • 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月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(その他学術会議資料等)  

    researchmap

  • The γ-admissibility for relevant modal logics

    Takahiro Seki

    Proceedings of the 37th MLG meeting at Shizuoka, Japan 2003   46 - 49   2003年12月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(その他学術会議資料等)  

    researchmap

  • A Sahlqvist theorem for relevant modal logics 査読

    Takahiro Seki

    Studia Logica73 ( 3 ) 383 - 411   2003年4月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    researchmap

  • General Frames for Relevant Modal Logics 査読

    Takahiro Seki

    Notre Dame Journal of Formal Logic44 ( 2 ) 93 - 109   2003年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)   出版者・発行元:Duke University Press  

    General frames are often used in classical modal logic. Since they are duals of modal algebras, completeness follows automatically as with algebras but the intuitivenessof Kripke frames is also retained. This paper develops basics of general frames for relevant modal logics by showing that they share many important properties with general frames for classical modal logic. © 2004 by the University of Notre Dame. All rights reserved.

    DOI: 10.1305/ndjfl/1082637806

    Scopus

    researchmap

  • A Semantical Study of Relevant Modal Logic 査読

    Takahiro Seki

        2002年3月

     詳細を見る

    記述言語:英語   掲載種別:学位論文(その他)  

    researchmap

  • A Sahlqvist theorem for relevant modal logics

    Takahiro Seki

    Proceedings of the 35th MLG meeting at Echigo-Yuzawa, Japan 2002   33 - 35   2002年1月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(その他学術会議資料等)  

    researchmap

  • Some remarks on Maehara's method 査読

    Takahiro Seki

    Bulletin of the Section of Logic30 ( 3 ) 147 - 154   2001年10月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    researchmap

  • Some topics on relevant modal matrices

    Takahiro Seki

    Research Report IS-RR-2001-023, Japan Advanced Institute of Science and Technology   2001年9月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(その他学術会議資料等)  

    researchmap

  • 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年7月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(その他学術会議資料等)  

    researchmap

  • Lemmon-Scott axioms for relevant modal logics

    Takahiro Seki

    Research Report IS-RR-2001-009, Japan Advanced Institute of Science and Technology   2001年4月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(その他学術会議資料等)  

    researchmap

  • Models for normal modal logics over KR

    Takahiro Seki

    Proceedings of the 34th MLG meeting at Echigo-Yuzawa, Japan 2001   5 - 9   2001年1月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(その他学術会議資料等)  

    researchmap

▶ 全件表示

講演・口頭発表等

  • IRによる中期計画の策定の支援の現状と課題―国立大学に対するアンケート調査の結果を中心に―

    高田英一, 大石哲也, 関 隆宏, 森 雅生

    日本教育情報学会第34回年会  2018年8月25日  日本教育情報学会

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:松蔭大学 厚木森の里キャンパス  

    厳しい経営環境に置かれている国立大学にとっては、適切な経営計画に基づくマネジメントが重要であるが、現在の中期計画は必ずしも適切とは言い難い状況にある。この中期計画の改善にはIRによる支援が考えられるが、アンケートによる実態調査の結果からは、IRによる計画策定の支援の実施は少数に留まり、支援の内容も十分でない状況が明らかとなった。ただ、IRの支援の必要性に対する認識は高いことから、今後、IRによる支援の拡大が予想される。

    researchmap

  • レピュテーション・マネジメントの推進に向けたIRのあり方―教学IR分析の観点から―

    大石哲也, 劉 沙紀, 小柏香穂理, 関 隆宏, 高田英一, 森 雅生

    日本教育情報学会第34回年会  2018年8月25日  日本教育情報学会

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:松蔭大学 厚木森の里キャンパス  

    日本の大学では個々の教職員が様々な活動を行っている一方で、ステークホルダーから十分な理解と支持を得られていないため、経営環境が厳しくなっている。これを改善するためにはステークホルダーによる認知の集積であるレピュテーション(reputation、評判)の向上を目指す必要がある。そのためにはステークホルダーの理解と支持を得るために適切なデータを提供する必要があるが、多くの大学では十分な取り組みが行われていない。現在、多くの大学でInstitutional Research(IR)が推進されているが、本稿ではステークホルダーへの適切なデータ提供を実現するためにIRがどのように活用できるか、教学IR分析の観点から考察する。

    researchmap

  • 縮減フレームで特徴づけられる適切様相論理

    関 隆宏

    日本数学会2018年度年会 数学基礎論および歴史分科会  2018年3月18日  日本数学会

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:東京大学  

    適切論理や適切様相論理は一般に縮減フレームにより特徴づけることはできない。Slaney はどのような適切論理が縮減フレームによって特徴づけられるかを明らかにしたが,この結果を適切様相論理に拡張した場合について論じた。

    researchmap

  • 目標・計画の策定とIR―中期目標・中期計画を中心に―

    関 隆宏

    IR集中講習会  2018年1月30日 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:東京国際フォーラム  

    国立大学の中期目標・中期計画を中心に,目標・計画の策定時にIRがどのような支援を行うことができるかについて論じた。

    researchmap

  • 適切論理の semilattice 意味論再考

    関 隆宏

    日本数学会2017年度秋季総合分科会 数学基礎論および歴史分科会  2017年9月13日  日本数学会

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:山形大学  

    Semilattice 意味論の基盤となる「情報小片」の考え方を活かして,semilattice という条件を弱めることにより得られる意味論に関して完全な適切論理とその周辺の論理について論じた。

    researchmap

  • How can IR support the management of Japanese national universities on the mid-term plan related to globalization? 国際会議

    Tetsuya Oishi, Eiichi Takata, Noriko Kuwano, Takahiro Seki, Masao Mori, Masashi Sekiguchi

    The 17th Annual SEAAIR Conference  2017年9月6日  SEAAIR (South East Asian Association for Institutional Research)

     詳細を見る

    記述言語:英語   会議種別:口頭発表(一般)  

    開催地:PSB Academy, Singapore  

    Japanese national universities should promote their globalization plans. However, there are some unsuitable management plans. While institutional research (IR for short) is expected to help in drawing mid-term plans up, there are no methods to contribute it by IR at present. The mid-term plans are drawn up by Japanese national university corporation in order to achieve their mid-term objectives. 56 mid-term plans are related to globalization among the plans drawn up by the universities adopted in Top Global University Project in Japan. We will analyze these plans based on formally and virtually criteria. Some plans don't have essential elements: inputs, activities, outputs, and outcomes. For these plans, IR can show some processes based on data in order to draw mid-term plans up based on logic model. IR can also show data which can indicate present conditions for inputs, can realize objectives for activities and outputs, and can predict future conditions for outcomes. On the other hand, there are plans which have no or unsuitable numeric targets. The plans with no numeric targets are basically unsuitable for plans of action. The other plans with unsuitable numeric targets may be un

    researchmap

  • 日本の国立大学における経営計画の課題とIRによる支援のあり方について-グローバル化に関する中期計画を中心に

    大石哲也, 高田英一, 桑野典子, 関 隆宏, 森 雅生, 関口正司

    第6回大学情報・機関調査研究集会  2017年8月19日 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:海洋研究開発機構東京事務所  

    researchmap

  • 公的集計データを用いた大学間比較ことはじめ―新潟大学の事例から―

    関 隆宏

    第6回大学情報・機関調査研究集会  2017年8月19日 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:海洋研究開発機構東京事務所  

    新潟大学では「IR推進室」を設置し、「学内外の情報やニーズの収集・分析」や「分析結果の提供及び情報発信」をミッションとして掲げている。他大学との比較について、IR推進室において議論になっていると同時に、執行部からの要望としても挙げられている。本発表では、公的集計データを用いた大学間比較のいくつかの試みを紹介する。

    researchmap

  • 結合則を持たない部分構造論理の Craig の補間定理

    関 隆宏

    日本数学会2017年度年会 数学基礎論および歴史分科会  2017年3月24日  日本数学会

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:首都大学東京  

    いくつかの結合則を持たない部分構造論理の Craig の補間定理について,シーケント計算を用いて cut 除去定理の帰結として導出する方法を論じた。

    researchmap

  • IRの内部質保証システムへの支援の現状と課題 -国立大学に対するアンケートを基に-

    高田英一, 森 雅生, 関 隆宏, 大石哲也, 川辺聡史

    第5回大学情報・機関調査研究集会(MJIR)  2016年7月12日 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:熊本市国際交流会館  

    researchmap

  • 結合則を持たない部分構造論理に対する決定可能性

    関 隆宏

    日本数学会2016年度年会 数学基礎論および歴史分科会  2016年3月16日  日本数学会

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:筑波大学  

    いくつかの結合則を持たない部分構造論理の決定可能性(与えられた論理式が証明可能かどうか判定できる性質)について,シーケント計算を用いて cut 除去定理の帰結として導出する方法を論じた。

    researchmap

  • 「新潟大学ファクトブック2015」の作成について

    関 隆宏, 今井 博英, 小田 美奈子

    平成27年度第4回IR実務担当者連絡会  2016年2月23日  大学評価コンソーシアム

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:立命館大学いばらきキャンパス  

    新潟大学IR推進室の活動の柱の一つに,本学の基礎的データを可視化し,ファクトブックにまとめる取組がある。「新潟大学ファクトブック2015」の作成過程で直面した実務的課題を報告するとともに,今後の展開について参加者と議論する。

    researchmap

  • Decidability of some involutive non-associative substructural logics

    関 隆宏

    第50回数理論理学研究集会  2016年1月8日 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:京都  

    二重否定除去法則を持つが結合法則を持たない部分構造論理の決定可能性を,Gentzen 流の形式化を用いて証明する方法について論じた。

    researchmap

  • 認証評価を契機とする教育改善状況の把握と改善事例 ―新潟大学の場合―

    関 隆宏

    第4回大学情報・機関調査研究集会  2015年7月13日 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:岡山コンベンションセンター  

    新潟大学は、平成26年度に大学評価・学位授与機構を認証評価機関とする大学機関別認証評価を受審した。自己評価書の作成過程において、また、自己評価書提出後に行われた訪問調査において、改善を要する点が多くあることが明らかになった。また、自己評価書の作成過程で、教育改善に向けた取組状況やその成果を調べる必要に迫られた。本稿では、この一連の過程で行われた、教育改善状況の把握に向けた取組と、受審年度までに改善できた点について報告する。

    researchmap

  • 評価・IR担当者に必要な知識・スキルに関する考察 ―人材育成プログラムの開発・充実に向けて―

    嶌田敏行, 小湊卓夫, 浅野茂, 大野賢一, 佐藤仁, 末次剛健志, 関隆宏, 土橋慶章, 藤井都百, 藤原将人, 藤原宏司

    日本高等教育学会第18回大会  2015年6月27日  日本高等教育学会

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:早稲田大学  

    researchmap

  • 大学の意思決定支援を目的とした指標の策定に関する検討

    藤原宏司, 大野賢一, 浅野茂, 嶌田敏行, 関隆宏, 小湊卓夫

    日本高等教育学会第18回大会  2015年6月27日  日本高等教育学会

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:早稲田大学  

    researchmap

  • Hallden 完全性と Sahlqvist 論理式

    関 隆宏

    日本数学会2015年度年会  2015年3月21日  日本数学会

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:明治大学  

    researchmap

  • 新潟大学におけるIRの取組とIRに係る職能開発のあり方 招待

    関 隆宏

    第1回教職開発研究会  2015年3月10日  日本教育情報学会

     詳細を見る

    記述言語:日本語   会議種別:公開講演,セミナー,チュートリアル,講習,講義等  

    開催地:九州大学箱崎キャンパス  

    researchmap

  • オレゴン大学IRオフィス訪問記

    関 隆宏

    平成26年度第1回IR実務担当者連絡会  2015年1月20日  大学評価コンソーシアム

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:名城大学名鉄サテライト  

    新潟大学では平成26年10月に「IR推進室」を設置した。最近ではIRに関する日本語文献も多く見られるが、米国での事例を実際に見聞きすべく、本学と大学間交流協定を締結しているオレゴン大学のIRオフィスを平成27年1月に訪問した。同大学のIRオフィスの組織や業務の実情について報告する。

    researchmap

  • A note on American plan semantics of relevant modal logics

    関 隆宏

    第49回数理論理学研究集会  2014年12月5日 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:山中温泉河鹿荘ロイヤルホテル  

    researchmap

  • 認証評価の自己評価書における教育関連データからの課題 ―新潟大学の事例を中心に―

    関 隆宏

    第3回大学情報・機関調査研究集会  2014年9月1日 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:北九州国際会議場  

    新潟大学は,大学評価・学位授与機構による機関別認証評価を現在受審中である。その際に作成する自己評価書には,さまざまな根拠資料・データが掲載される。本発表では,新潟大学の自己評価書に掲載した(あるいは掲載できなかった)教育関連データを手がかりに,データの内容面から今後さらなる検討・分析が必要であると考えられる課題について論じる。

    researchmap

  • 国立大学の評価・IR 部署における業務の現状と今後の展開に関する一考察

    嶌田敏行, 藤原宏司, 浅野茂, 大野賢一, 関隆宏, 小湊卓夫, 土橋慶章, 本田寛輔

    日本高等教育学会第17回大会  2014年6月28日  日本高等教育学会

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:大阪大学  

    researchmap

  • 結合則を持たない部分構造論理に対する Gentzen 流の形式化 II

    関 隆宏

    日本数学会2014年度年会 数学基礎論および歴史分科会  2014年3月15日  日本数学会

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:学習院大学  

    researchmap

  • A remark on metacomplete relevant modal logics

    関 隆宏

    第48回数理論理学研究集会  2013年12月6日 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:山中温泉河鹿荘ロイヤルホテル  

    researchmap

  • 各組織における評価文化の定着に向けた取組― 評価センターの試行錯誤 ―

    関 隆宏

    第2回大学情報・機関調査研究集会  2013年9月1日 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:くにびきメッセ  

    researchmap

  • 結合則を持たない部分構造論理に対する Gentzen 流の形式化 I

    関 隆宏

    日本数学会2013年度年会 数学基礎論および歴史分科会  2013年3月20日  日本数学会

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:京都大学  

    researchmap

  • A Gentzenization of some involutive non-associative substructural logics

    関 隆宏

    第47回数理論理学研究集会  2012年11月16日 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:KKR湯沢ゆきぐに  

    researchmap

  • 部分構造論理における二重否定変換の関係について

    関 隆宏

    日本数学会2012年度秋季総合分科会 数学基礎論および歴史分科会  2012年9月20日  日本数学会

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:九州大学  

    researchmap

  • Disjunction property of non-associative substructural logics 国際会議

    Takahiro Seki

    Logic, Algebra and Truth Degrees 2012  2012年9月10日  Research Center for Integrated Science (of the Japan Advanced Institute of Science and Technology), the EUSFLAT Working Group on Mathematical Fuzzy Logic

     詳細を見る

    記述言語:英語   会議種別:口頭発表(一般)  

    開催地:Ishikawa Prefectural Museum of Art  

    researchmap

  • 結合則を持たない部分構造論理における Glivenko の定理について

    関 隆宏

    日本数学会2012年度年会 数学基礎論および歴史分科会  2012年3月26日  日本数学会

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:東京理科大学  

    researchmap

  • Recent topics on relevant modal logics 国際会議

    Takahiro Seki

    Asian workshop on Philosophical Logic 2012  2012年2月15日 

     詳細を見る

    記述言語:英語   会議種別:口頭発表(招待・特別)  

    開催地:Ishikawa Hightech Center at Japan Advanced Institute of Science and Technology  

    researchmap

  • Some negative translations of non-associative substructural logics

    関 隆宏

    第46回数理論理学研究集会  2011年10月23日 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:KKR湯沢ゆきぐに  

    researchmap

  • 部分構造論理における許容規則

    関 隆宏

    日本数学会2011年度秋季総合分科会 数学基礎論および歴史分科会  2011年9月28日  日本数学会

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:信州大学  

    researchmap

  • On Hallden-completeness of relevant modal logics

    関 隆宏

    第45回数理論理学研究集会  2011年1月6日 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:KKR湯沢ゆきぐに  

    researchmap

  • An algebraic proof of the γ-admissibility of relevant modal logics 国際会議

    Takahiro Seki

    Algebra and Substructural Logics -- Take Four  2010年6月8日 

     詳細を見る

    記述言語:英語   会議種別:口頭発表(一般)  

    開催地:Ishikawa Hightech Center at Japan Advanced Institute of Science and Technology  

    researchmap

  • The disjunction property and existence property of substructural logics over FL

    Takahiro Seki

    第44回数理論理学研究集会  2010年5月24日 

     詳細を見る

    記述言語:英語   会議種別:口頭発表(一般)  

    開催地:強羅静雲荘(箱根)  

    researchmap

  • Intuitionistic primeness and modal primeness in relevant modal logics --- from algebraic view

    関 隆宏

    第43回数理論理学研究集会  2009年12月11日 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:九州産業大学(福岡)  

    researchmap

  • 新潟大学における認証評価・法人評価の受審とその後

    関 隆宏

    大学評価担当者集会2009  2009年9月11日 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:九州大学西新プラザ  

    researchmap

  • A note on disjunction property of some substructural logics

    関 隆宏

    第42回数理論理学研究集会  2008年11月7日 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:九州産業大学(福岡)  

    researchmap

  • An algebraic approach to prove gamma-admissibility of relevant modal logics

    関 隆宏

    第41回数理論理学研究集会  2007年12月20日 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:城崎  

    researchmap

  • 評価を活かす ―九州大学教育改革企画支援室の取り組み―

    関 隆宏

    大学評価担当者集会2007  2007年9月14日 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:九州大学(福岡市)  

    researchmap

  • Multiple viewed search engine for an e-journal --- a case study on Zoological Science 国際会議

    Takahiro Seki, Taiki Wada, Yasuhiro Yamada, Nozomi Ytow, Sachio Hirokawa

    The 12th International Conference on Human-Computer Interaction  2007年7月 

     詳細を見る

    記述言語:英語   会議種別:口頭発表(一般)  

    開催地:北京国際会議中心  

    researchmap

  • 多面的解析システムにおけるデンドログラムの実装

    関 隆宏, 和多太樹, 山田泰寛, 廣川佐千男

    情報処理学会 第69回全国大会  2007年3月 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:早稲田大学(東京都新宿区)  

    researchmap

  • 検索支援と分析のための多面的検索システム

    関 隆宏, 和多太樹, 山田泰寛, 廣川佐千男

    DEWS2007  2007年2月 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:広島プリンスホテル(広島市)  

    researchmap

  • Primeness of relevant modal logics

    関 隆宏

    第40回数理論理学研究集会  2006年12月 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:ゆふいん七色の風(大分県由布市)  

    researchmap

  • 学会講演データの多面的解析システム

    関 隆宏, 和多太樹, 山田泰寛, 廣川佐千男, 和多太樹

    人工知能学会 第63回 人工知能基本問題研究会  2006年9月 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:九州工業大学(福岡県飯塚市)  

    researchmap

  • Some classes of relevant modal logics

    関 隆宏

    第23回記号論理学と情報科学研究集会  2006年9月 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:東京大学(東京都秋葉原)  

    researchmap

  • XML文書としての電子カルテ検索システム

    安元裕司, 関 隆宏, 中島直樹, 廣川佐千男

    情報処理学会 第68回全国大会  2006年3月 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:工学院大学(東京都新宿区)  

    researchmap

  • 多次元マトリックス法による電子ジャーナル Zoological Science の検索と分析

    関 隆宏, 安元裕司, 和多太樹, 伊藤 希, 廣川佐千男

    第30回 ディジタル図書館ワークショップ  2006年3月 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:九州大学(福岡市東区)  

    researchmap

  • 電子ジャーナルの多面的検索分析システム

    関 隆宏, 安元裕司, 和多太樹, 伊藤 希, 廣川佐千男

    情報処理学会 第68回全国大会  2006年3月 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:工学院大学(東京都新宿区)  

    researchmap

  • Two topics on disjunctive rules in relevant modal logic

    関 隆宏

    第39回数理論理学研究集会  2005年12月 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:蒲郡荘(愛知県蒲郡市)  

    researchmap

  • Search engine with multiple views 国際会議

    Sachio Hirokawa, Takahiro Seki, Yasuhiro Yamada, Yuji Yasumoto, Taiki Wada

    APII Workshop 2005  2005年9月 

     詳細を見る

    記述言語:英語   会議種別:ポスター発表  

    開催地:Grand Intercontinental Hotel, Seoul  

    researchmap

  • A note on metavaluation and γ for relevant modal logics

    関 隆宏

    第22回記号論理学と情報科学研究集会  2005年9月 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:東京工業大学(東京都目黒区)  

    researchmap

  • 病院評判情報の多面的解析

    安元裕司, 和多太樹, 関 隆宏, 廣川佐千男

    人工知能学会 第70回知識ベースシステム研究会  2005年8月 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:東京工業大学(東京都目黒区)  

    researchmap

  • 教員データに対する多面的検索システム

    廣川佐千男, 関 隆宏, 安元裕司, 山田泰寛

    夏のデータベースワークショップ2005  2005年7月 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:奥入瀬渓流グランドホテル(青森県十和田市)  

    researchmap

  • 文書群の局所性と大域性の差を利用したキーワード粒度評価

    下司義寛, 和多太樹, 安元裕司, 山田泰寛, 関 隆宏, 廣川佐千男

    情報処理学会 第168回自然言語処理研究会, 電子情報通信学会 言語理解とコミュニケーション研究会  2005年7月 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:健康文化村 カルチャーリゾート フェストーネ(沖縄県宜野湾市)  

    researchmap

  • 技術移転のための教員データと特許データの連想検索システム

    関 隆宏, 小川暢祐, 垣岡武範, 廣川佐千男

    産学連携学会 第3回徳島大会  2005年5月 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:ウェルシティ徳島(徳島市)  

    researchmap

  • 単語の出現頻度に着目した病院評判情報の分析

    和多太樹, 関 隆宏, 田中省作, 廣川佐千男

    情報処理学会 第56回音声言語情報処理研究会,第167回自然言語処理研究会  2005年5月 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:東京工科大学(東京都八王子市)  

    researchmap

  • 産業ニーズと技術シーズのマッチング検索モデル

    廣川佐千男, 関 隆宏, 小川暢祐, 垣岡武範

    産学連携学会 第3回徳島大会  2005年5月 

     詳細を見る

    記述言語:日本語   会議種別:ポスター発表  

    開催地:ウェルシティ徳島(徳島市)  

    researchmap

  • XMLデータベースによる大学評価システムの構築

    杉本典子, 関 隆宏, 石野 明, 金丸玲子, 竹田正幸, 廣川佐千男

    情報処理学会 第67回全国大会  2005年3月 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:電気通信大学(東京都調布市)  

    researchmap

  • 教員データにおける高頻度語

    関 隆宏, 安元裕司, 廣川佐千男

    情報処理学会 第166回自然言語処理研究会  2005年3月 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:名古屋大学(名古屋市)  

    researchmap

  • 大学経営における大学評価システムの活用

    田中省作, 関 隆宏, 石野 明, 金丸玲子, 杉本典子, 竹田正幸, 廣川佐千男

    情報処理学会 第67回全国大会  2005年3月 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:電気通信大学(東京都調布市)  

    researchmap

  • 教員連想検索システム

    関 隆宏, 廣川佐千男

    情報処理学会 第48回デジタル・ドキュメント研究会  2005年1月 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:(社)日本化学会 化学会館(東京都千代田区)  

    researchmap

  • The admissibility of gamma for relevant modal logics with Lemmon-Scott axioms 国際会議

    Takahiro Seki

    The Logic Summer School 2004  2004年12月 

     詳細を見る

    記述言語:英語   会議種別:口頭発表(一般)  

    開催地:The Australian National University  

    researchmap

  • The gamma admissibility for relevant modal logics with Lemmon-Scott axioms

    関 隆宏

    第38回数理論理学研究集会  2004年10月 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:蒲郡荘(愛知県蒲郡市)  

    researchmap

  • General frames for relevant modal logics

    関 隆宏

    第21回記号論理学と情報科学研究集会  2004年9月 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:名古屋大学(名古屋市)  

    researchmap

  • The gamma admissibility for relevant modal logics 国際会議

    Takahiro Seki

    Workshop on Modal and Substructural Logics  2004年1月 

     詳細を見る

    記述言語:英語   会議種別:口頭発表(一般)  

    開催地:Japan Advanced Institute of Science and Technology  

    researchmap

  • The gamma admissibility for relevant modal logics

    関 隆宏

    第37回数理論理学研究集会  2003年12月 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:静岡大学(静岡市)  

    researchmap

  • A Sahlqvist theorem for relevant modal logics

    関 隆宏

    第35回数理論理学研究集会  2002年1月 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:KKR 湯沢 ゆきぐに(新潟県湯沢町)  

    researchmap

  • Models for normal modal logics over KR

    関 隆宏

    第34回数理論理学研究集会  2001年1月 

     詳細を見る

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:KKR 湯沢 ゆきぐに(新潟県湯沢町)  

    researchmap

▶ 全件表示

 

担当経験のある授業科目

  • 応用幾何学I

    2020年
    -
    現在
    機関名:新潟大学

  • 応用代数学II

    2018年
    -
    現在
    機関名:新潟大学

  • 応用代数学I

    2017年
    -
    現在
    機関名:新潟大学

  • 幾何学特講

    2015年
    -
    現在
    機関名:新潟大学

  • 代数学特論II

    2013年
    -
    2015年
    機関名:新潟大学

  • 代数学演習II

    2013年
    -
    2014年
    機関名:新潟大学

  • 代数学序説

    2010年
    -
    現在
    機関名:新潟大学

  • 代数学特講

    2009年
    -
    2017年
    機関名:新潟大学

▶ 全件表示

その他教育活動及び特記事項

  • 2011年09月 - 現在   国際こども・福祉カレッジ 非常勤講師

  • 2011年09月 - 現在   近大姫路大学教育学部通信教育課程 非常勤講師

 

社会貢献活動

  • 上越教育大学 大学評価に関する講演会

    講師

    上越教育大学  大学評価に関する講演会  上越教育大学  2018年9月

     詳細を見る

    対象: 教育関係者

    「大学評価の基礎知識と最近の話題」と題して講演を行った。

    researchmap

  • 第12回大学評価・IR担当者集会2018の企画・運営

    講師, 企画, 運営参加・支援, 報告書執筆

    大学評価コンソーシアム  第12回大学評価・IR担当者集会2018  九州工業大学 戸畑キャンパス  2018年8月

     詳細を見る

    対象: 教育関係者

    ・全体の企画・運営
    ・評価初心者セッション講師(分担)

    researchmap

  • 研究や産学連携の推進に向けたIRの基礎

    講師

    高等教育コンソーシアムにいがた産学連携部会  平成29年度高等教育コンソーシアムにいがた産学連携部会主催セミナー  新潟大学駅南キャンパス「ときめいと」  2017年11月

     詳細を見る

    対象: 教育関係者

    「研究や産学連携の推進に向けたIRの基礎」として講演を行った。

    researchmap

  • 平成29年度教職12年経験者研修

    講師, 助言・指導

    新潟市教育委員会  新潟市立総合教育センター  2017年8月 - 2018年1月

     詳細を見る

    対象: 教育関係者

    算数科の教科指導研修を担当した。

    researchmap

  • 第11回大学評価・IR担当者集会2017の企画・運営

    講師, 企画, 運営参加・支援, 報告書執筆

    大学評価コンソーシアム  第11回大学評価・IR担当者集会2017  立命館大学 大阪いばらきキャンパス  2017年8月

     詳細を見る

    対象: 教育関係者

    ・全体の企画・運営
    ・評価初心者セッション講師(分担)
    ・評価・IR実践セッションのファシリテーター

    researchmap

  • 第10回大学評価担当者集会2016の企画・運営

    講師, 企画, 運営参加・支援, 報告書執筆

    大学評価コンソーシアム  第10回大学評価担当者集会2016  立命館大学 大阪いばらきキャンパス  2016年8月

     詳細を見る

    対象: 教育関係者

    ・全体会,評価・IR実践セッションの企画
    ・評価初心者セッション講師(分担)

    researchmap

  • 第9回大学評価担当者集会2015の企画・運営

    講師, 企画, 運営参加・支援, 報告書執筆

    大学評価コンソーシアム  第9回大学評価担当者集会2015  神戸大学六甲台キャンパス  2015年8月

     詳細を見る

    対象: 教育関係者

    ・全体会,評価・IR実践セッションの企画
    ・評価初心者セッション講師(分担)

    researchmap

  • 大学情報・機関調査研究集会,運営委員

    運営参加・支援

    2012年3月 - 2017年8月

     詳細を見る

    対象: 教育関係者, 研究者, 社会人・一般

    researchmap

▶ 全件表示