2021/04/20 更新

写真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月 - 現在

所属学協会

 

論文

  • レピュテーション・マネジメントの推進に向けた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

▶ 全件表示