Updated on 2024/12/22

写真a

 
SEKI Takahiro
 
Organization
Headquarters for Management Strategy University Evaluation Center Associate Professor
Graduate School of Education School Subjects Associate Professor
Title
Associate Professor
External link

The Best Research Achievement in Research Career

Degree

  • PhD (Information Science) ( 2002.3   Japan Advanced Institute of Science and Technology )

  • 修士(教育学) ( 1999.3   新潟大学 )

  • 学士(教育学) ( 1997.3   新潟大学 )

Research Interests

  • university evaluation

  • substructural logic

  • relevant modal logic

Research Areas

  • Humanities & Social Sciences / Education  / University Evaluation

  • Informatics / Theory of informatics  / Mathematical Logic

  • Natural Science / Basic mathematics  / Mathematical Logic

Research History (researchmap)

  • Niigata University   Graduate School of Education School Subjects   Associate Professor

    2013.4

      More details

  • Niigata University   Headquarters for Management Strategy University Evaluation Center   Associate Professor

    2007.10

      More details

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

    2007.6 - 2007.10

      More details

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

    2007.4 - 2007.5

      More details

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

    2004.5 - 2007.3

      More details

Research History

  • Niigata University   Headquarters for Strategy and Planning University Evaluation Center   Associate Professor

    2007.10

Professional Memberships

Committee Memberships

  • 日本数学会   評議員  

    2023.3   

      More details

    Committee type:Academic society

    researchmap

Qualification acquired

  • 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

 

Papers

  • 制限された weakening と contraction を持つ結合則を持たない部分構造論理の可換性

    関 隆宏

    日本数学会2022年度秋季総合分科会 数学基礎論および歴史分科会講演アブストラクト   27 - 28   2022.9

     More details

    Authorship:Lead author   Language:Japanese   Publishing type:Research paper (other academic)  

    researchmap

  • 我が国の私立大学の中期計画の策定・運用に関する現状と課題 Reviewed

    高田英一, 森 雅生, 高松邦彦, 関 隆宏, 大石哲也, 小柏香穂理

    第13回大学情報・機関調査研究集会論文集   168 - 174   2024.11

     More details

    Language:Japanese   Publishing type:Research paper (conference, symposium, etc.)  

    researchmap

  • Variations of axioms K and S in substructural logics Reviewed

    Takahiro Seki

    Proceedings of 6th Asian Workshop on Philosophical Logic   53 - 64   2024.3

     More details

    Authorship:Lead author   Language:English   Publishing type:Research paper (international conference proceedings)  

    researchmap

  • Exchange に関わる結合則の族に対応する推論規則

    関 隆宏

    数理解析研究所講究録2228 RIMS共同研究(公開型)「証明と計算の理論と応用」   41 - 46   2022.8

     More details

    Authorship:Lead author   Language:Japanese   Publishing type:Part of collection (book)  

    researchmap

  • Current status and issues of university ranking efforts at Japanese universities: Based on the results of a questionnaire survey on reputation management efforts Reviewed

    Takata Eiichi, Oishi Tetsuya, Mori Masao, Seki Takahiro, Ogashiwa Kahori, Ryu Saki

    Educational Information Research   37 ( 2.3 )   29 - 36   2022.2

     More details

    Language:Japanese   Publisher:Japan Society of Educational Information  

    DOI: 10.20694/jjsei.37.2.3_29

    CiNii Books

    researchmap

  • Exchange に関わる結合則の族の分類

    関 隆宏

    日本数学会2021年度秋季総合分科会 数学基礎論および歴史分科会講演アブストラクト   3 - 4   2021.3

     More details

    Authorship:Lead author   Language:Japanese   Publishing type:Research paper (other academic)  

    researchmap

  • 適切論理から見た部分構造論理 Invited

    関 隆宏

    日本数学会2021年度年会 数学基礎論および歴史分科会講演アブストラクト   9 - 18   2021.3

     More details

    Authorship:Lead author   Language:Japanese   Publishing type:Research paper (other academic)  

    researchmap

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

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

    大学情報・機関調査研究集会 論文集   5   16   2021

     More details

    Language:Japanese   Publisher:日本インスティテューショナル・リサーチ協会  

    DOI: 10.50956/mjir.5.0_16

    researchmap

  • Presentation and Coping Problems of University Ranking in Japan Reviewed

    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

     More details

    Publishing type:Research paper (international conference proceedings)  

    Most Japanese universities work under intense pressure to maintain or improve their ratings. Therefore, reputation management is very important for them to drive admissions and to increase their brand awareness among the public. Reputation in this case refers to how universities are perceived by each stakeholder. University ranking is an essential tool for reputation management, but how it is used, is unclear. We conducted a questionnaire survey to clarify the concept, and found differences in the activities related to coping with university ranking, their contents, and the issues among universities. In this paper, we present and explain the results of the questionnaire survey.

    DOI: 10.1109/IIAI-AAI53430.2021.00050

    Scopus

    researchmap

  • 対偶を持つ対合的部分構造論理に対する Gentzen 流の形式化

    関 隆宏

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

     More details

    Authorship:Lead author   Language:Japanese   Publishing type:Research paper (other academic)  

    researchmap

  • The Current Situations of reputation management and IR of national universities Based on the survey results Reviewed

    Educational Information Research   36 ( 2 )   87 - 93   2020

     More details

    Language:Japanese   Publisher:Japan Society of Educational Information  

    DOI: 10.20694/jjsei.36.2_87

    CiNii Article

    researchmap

  • 制限のある weakening 規則について

    関 隆宏

    日本数学会2019年度秋季総合分科会 数学基礎論および歴史分科会講演アブストラクト   55 - 56   2019.9

     More details

    Authorship:Lead author   Language:Japanese   Publishing type:Research paper (other academic)  

    researchmap

  • 様相論理 S4 のカット除去定理のメタ評価値を用いた証明

    関 隆宏

    日本数学会2019年度年会 数学基礎論および歴史分科会講演アブストラクト   39 - 40   2019.3

     More details

    Authorship:Lead author   Language:Japanese   Publishing type:Research paper (other academic)  

    researchmap

  • 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

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    researchmap

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

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

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

     More details

    Language:Japanese   Publishing type:Research paper (conference, symposium, etc.)   Publisher:日本教育情報学会  

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

    CiNii Article

    CiNii Books

    researchmap

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

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

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

     More details

    Language:Japanese   Publishing type:Research paper (conference, symposium, etc.)   Publisher:日本教育情報学会  

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

    CiNii Article

    CiNii Books

    researchmap

  • Some relevant modal logics characterized by reduced frames

    Takahiro Seki

    51 - 52   2018.3

     More details

    Language:Japanese   Publishing type:Research paper (other academic)  

    In Routley-Meyer semantics, relevant logics or relevant modal logics are characterized by unreduced frames in general. In this talk, we consider modal extensions of Slaney's reduced modeling theorem for relevant logics without WI.

    researchmap

  • 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

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

    researchmap

  • 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

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)   Publisher:National Institution for Academic Degrees and Quality Enhancement of Higher Education (National Institution for Academic Degrees and University Evaluation)  

    <p>We surveyed Japanese national universities on the status of institutional research (IR) which supports institutions in terms of internal quality assurance. The survey result showed that current IR has not yet sufficiently supported institutions in order to realize a good level of internal quality assurance. There were many types of support for having evaluation by IR at universities where an organization and people involved in IR were located. However, factors that could improve and increase the usefulness of support were not clarified. For this reason, it is necessary to examine factors that will increase the usefulness of support via IR in the future.</p>

    DOI: 10.32175/hyokagakui.2018.19005

    CiNii Article

    CiNii Books

    researchmap

    Other Link: http://id.nii.ac.jp/1107/00000436/

  • A semilattice semantics in relevant logics

    Takahiro Seki

    33 - 34   2017.9

     More details

    Language:Japanese   Publishing type:Research paper (other academic)  

    Semilattice semantics has been considered in relevant logics. In this semantics, completeness for implicational fragment of familiar relevant logics R and E can be proved but cannot for full R and E. In this talk, we consider semantics in which completeness of weaker relevant logics (and their neighbours) can be proved.

    researchmap

  • How can IR Support the Management of Japanese National Universities on the Mid-Term Plan Related to Globalization? Reviewed

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

    Proceedings of The 17th Annual SEAAIR Conference   303 - 309   2017.9

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)   Publisher: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.

    CiNii Article

    researchmap

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

    関 隆宏

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

     More details

    Language:Japanese   Publishing type:Research paper (conference, symposium, etc.)  

    researchmap

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

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

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

     More details

    Language:Japanese   Publishing type:Research paper (conference, symposium, etc.)  

    CiNii Article

    researchmap

  • Craig's interpolation theorem for non-associative substructural logics

    Takahiro Seki

    51 - 52   2017.3

     More details

    Language:Japanese   Publishing type:Research paper (other academic)  

    researchmap

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

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

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

     More details

    Language:Japanese   Publishing type:Research paper (conference, symposium, etc.)  

    researchmap

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

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

    大学評価とIR   ( 5 )   44 - 52   2016.3

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)   Publisher:大学評価コンソーシアム  

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

    researchmap

  • Decidability of non-associative substructural logics

    Takahiro Seki

    43 - 44   2016.3

     More details

    Language:Japanese   Publishing type:Research paper (other academic)  

    researchmap

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

    関 隆宏

    新潟大学高等教育研究   3   27 - 32   2015.12

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)   Publisher:新潟大学教育・学生支援機構  

    新潟大学は,大学評価・学位授与機構を認証評価機関とする大学機関別認証評価を平成26年度に受審し,「新潟大学は,大学設置基準をはじめ関係法令に適合し,大学評価・学位授与機構が定める大学評価基準を満たしている.」と評価された.あわせて,「改善を要する点」が1点,「改善することが望ましい点」が2点指摘された.一方,本学が提出した「自己評価書」では「改善を要する点」を6点挙げているが,これらは作成過程で絞った結果であり,他にも改善を要する点が存在する.本稿では,大学機関別認証評価の過程で明らかになった改善を要する点について報告する.

    CiNii Article

    CiNii Books

    researchmap

    Other Link: http://hdl.handle.net/10191/36252

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

    関 隆宏

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

     More details

    Language:Japanese   Publishing type:Research paper (conference, symposium, etc.)  

    researchmap

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

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

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

     More details

    Language:Japanese   Publishing type:Research paper (conference, symposium, etc.)   Publisher:日本高等教育学会  

    researchmap

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

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

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

     More details

    Language:Japanese   Publishing type:Research paper (conference, symposium, etc.)   Publisher:日本高等教育学会  

    researchmap

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

    関 隆宏

    大学評価とIR   ( 2 )   3 - 8   2015.5

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)   Publisher:大学評価コンソーシアム  

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

    researchmap

  • Hallden-completeness and Sahlqvist formulas

    Takahiro Seki

    23 - 24   2015.3

     More details

    Language:Japanese   Publishing type:Research paper (conference, symposium, etc.)  

    researchmap

  • Hallden Completeness for Relevant Modal Logics Reviewed

    Takahiro Seki

    NOTRE DAME JOURNAL OF FORMAL LOGIC   56 ( 2 )   333 - 350   2015

     More details

    Language:English   Publishing type:Research paper (scientific journal)   Publisher: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

     More details

    Language:Japanese   Publishing type:Research paper (conference, symposium, etc.)  

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

    researchmap

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

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

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

     More details

    Language:Japanese   Publishing type:Research paper (conference, symposium, etc.)   Publisher:日本高等教育学会  

    researchmap

  • A Gentzen-style formulation for non-associative substructural logics II

    Takahiro Seki

    11 - 12   2014.3

     More details

    Language:Japanese   Publishing type:Research paper (other academic)  

    researchmap

  • Some Metacomplete Relevant Modal Logics Reviewed

    Takahiro Seki

    STUDIA LOGICA   101 ( 5 )   1115 - 1141   2013.10

     More details

    Language:English   Publishing type:Research paper (scientific journal)   Publisher: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

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

    関 隆宏

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

     More details

    Language:Japanese   Publishing type:Research paper (other academic)  

    researchmap

  • A Gentzen-style formulation for non-associative substructural logics I

    Takahiro Seki

    19 - 20   2013.3

     More details

    Language:Japanese   Publishing type:Research paper (other academic)  

    researchmap

  • Metacompleteness of Substructural Logics Reviewed

    Takahiro Seki

    STUDIA LOGICA   100 ( 6 )   1175 - 1199   2012.12

     More details

    Language:English   Publishing type:Research paper (scientific journal)   Publisher: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 gamma in Relevant Modal Logics Reviewed

    Takahiro Seki

    STUDIA LOGICA   100 ( 6 )   1149 - 1174   2012.12

     More details

    Language:English   Publishing type:Research paper (scientific journal)   Publisher:SPRINGER  

    The admissibility of Ackermann's rule gamma is one of the most important problems in relevant logics. The admissibility of gamma was first proved by an algebraic method. However, the development of Routley-Meyer semantics and metavaluational techniques makes it possible to prove the admissibility of gamma using the method of normal models or the method using metavaluations, and the use of such methods is preferred. This paper discusses an algebraic proof of the admissibility of gamma in relevant modal logics based on modern algebraic models.

    DOI: 10.1007/s11225-012-9459-y

    Web of Science

    researchmap

  • On relations among double negation translations in substructural logics

    Takahiro Seki

    19 - 20   2012.9

     More details

    Language:Japanese   Publishing type:Research paper (other academic)  

    researchmap

  • Disjunction property of non-associative substructural logics Reviewed

    Takahiro Seki

    Logic, Algebra and Truth Degrees 2012   136 - 139   2012.9

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

    researchmap

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

    関 隆宏

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

     More details

    Language:Japanese   Publishing type:Research paper (other academic)  

    researchmap

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

    関 隆宏

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

     More details

    Language:Japanese   Publishing type:Research paper (other academic)  

    researchmap

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

    Seki Takahiro

    STUDIA LOGICA   97 ( 3 )   351 - 383   2011.4

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1007/s11225-011-9315-5

    researchmap

  • The gamma-admissibility of Relevant Modal Logics I - The Method of Normal Models Reviewed

    Takahiro Seki

    STUDIA LOGICA   97 ( 2 )   199 - 231   2011.3

     More details

    Language:English   Publishing type:Research paper (scientific journal)   Publisher:SPRINGER  

    The admissibility of Ackermann's rule gamma is one of the most important problems in relevant logic. While the gamma-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 gamma-admissibility. This paper discusses which relevant modal logics admit gamma from the viewpoint of the method of normal models.

    DOI: 10.1007/s11225-011-9306-6

    Web of Science

    researchmap

  • Current Situations of Educational Outcome Verification in National Universities Based on Self-assessment Reports for Institutional Certified Evaluation and Accreditation Reviewed

    Takahiro Seki

    University Evaluation Review   ( 9 )   81 - 90   2010.9

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

    CiNii Article

    CiNii Books

    researchmap

  • An investigation of the results of national university education and reseach evaluation: Comparison with self-assessment

    Takahiro Seki

    ( 15 )   43 - 51   2010.3

     More details

    Language:Japanese   Publishing type:Research paper (bulletin of university, research institution)  

    CiNii Article

    CiNii Books

    researchmap

    Other Link: http://hdl.handle.net/10191/17152

  • Examination of Institutional Certified Evaluation and Accreditation and National University Corporation Evaluation at Niigata University Reviewed

    Takahiro Seki

    The Journal of University Studies, University of the Ryukyus   3 ( 3 )   15 - 23   2010.3

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)   Publisher:University Evaluation Center  

    CiNii Article

    CiNii Books

    researchmap

    Other Link: http://hdl.handle.net/20.500.12000/17528

  • Issues obtained from institutional certified evaluation and accreditation of Niigata University

    Takahiro Seki

    ( 14 )   47 - 53   2009.6

     More details

    Language:Japanese   Publishing type:Research paper (bulletin of university, research institution)  

    CiNii Article

    CiNii Books

    researchmap

    Other Link: http://hdl.handle.net/10191/17153

  • A proposal for future internal evaluation activities for national university corporation evaluation

    Takahiro Seki

    ( 14 )   39 - 46   2009.6

     More details

    Language:Japanese   Publishing type:Research paper (bulletin of university, research institution)  

    CiNii Article

    CiNii Books

    researchmap

    Other Link: http://hdl.handle.net/10191/17151

  • Completeness of relevant modal logics with disjunctive rules Reviewed

    Takahiro Seki

    Reports on Mathematical Logic   44   3 - 18   2009.4

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    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

     More details

    Language:English   Publishing type:Research paper (other academic)  

    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

     More details

    Language:English   Publishing type:Research paper (other academic)  

    researchmap

  • An implementation of dendrogram in a faceted search engine

    T.Seki, T.Wada, Y.Yamada, S.Hirokawa

    1   395 - 396   2007.3

     More details

    Language:Japanese   Publishing type:Research paper (other academic)  

    researchmap

  • A faceted search engine for supporting information retrieval and analysis Reviewed

    Takahiro Seki, Taiki Wada, Yasuhiro Yamada, Sachio Hirokawa

    2007.2

     More details

    Language:Japanese   Publishing type:Research paper (other academic)  

    researchmap

  • 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

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)   Publisher:SPRINGER-VERLAG BERLIN  

    The multiple viewed search engine presented here retrieves documents of an indicated search area and displays a matrix of the distribution of the clustering from two aspects of the retrieval result. The search engine provides a visual and semantic bird's-eye view of the entire retrieval result. In addition, the characteristic words of each cluster are displayed in the matrix, and supports narrowing of the search. Furthermore, it is possible to immediately change the analysis criteria or the number of clusters and to use a zooming function. Thus, various retrieval conditions for a query can be attempted immediately and continuously. As a case study, this paper performs several analyses on the electronic journal Zoological Science using a multiple viewed search engine.

    Web of Science

    researchmap

  • Primeness of relevant modal logics

    Takahiro Seki

    Proceedings of the 40th MLG meeting at Yufuin, Japan 2006   8 - 11   2006.12

     More details

    Language:English   Publishing type:Research paper (other academic)  

    researchmap

  • A faceted search engine for scientific articles

    T.Seki, T.Wada, Y.Yamada, S.Hirokawa

    13 - 18   2006.9

     More details

    Language:Japanese   Publishing type:Research paper (other academic)  

    researchmap

  • 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

    Digital libraries   30 ( 30 )   72 - 80   2006.3

     More details

    Language:Japanese   Publishing type:Research paper (other academic)  

    CiNii Article

    CiNii Books

    researchmap

    Other Link: http://hdl.handle.net/2241/103537

  • Multipronged retrieval system for care card as XML documents

    T.Seki, Y.Yasumoto, T.Wada, N.Nakashima, S.Hirokawa

    3   51 - 52   2006.3

     More details

    Language:Japanese   Publishing type:Research paper (other academic)  

    CiNii Article

    CiNii Books

    researchmap

  • Multiple-viewed search and analysis engine for electrical journal

    T.Seki, Y.Yasumoto, T.Wada, N.Ytow, S.Hirokawa

    3   43 - 44   2006.3

     More details

    Language:Japanese   Publishing type:Research paper (other academic)  

    CiNii Article

    CiNii Books

    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

     More details

    Language:English   Publishing type:Research paper (other academic)  

    researchmap

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

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

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

     More details

    Language:Japanese   Publishing type:Research paper (other academic)  

    researchmap

  • Multiple analysis of reputation information of hospitals

    Y.Yasumoto, T.Wada, T.Seki, S.Hirokawa

    1 - 4   2005.8

     More details

    Language:Japanese   Publishing type:Research paper (other academic)  

    researchmap

  • 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

     More details

    Language:Japanese   Publishing type:Research paper (other academic)   Publisher:Information Processing Society of Japan (IPSJ)  

    Appropriate choice of query word are crucial to obtain a good search result. If it is too vague or too general, several thousand of results would be obtained. On the other hand, if it is too specific, the number of documents retrieved would be too few. More fine keywords are necessary in the former and query expansion is necessary in the latter. Speciality and granuality are two key aspects to evaluate appropriateness of of keywords in searching documents. This report proposes a method to analyse speciality and granularity of keywords using global and local document frequencies of the keywords.

    CiNii Article

    CiNii Books

    researchmap

    Other Link: http://hdl.handle.net/2324/2949

  • Faceted search engine for activities of academic staff

    S.Hirokawa, T.Seki, Y.Yasumoto, Y.Yamada

    2   665 - 672   2005.7

     More details

    Language:Japanese   Publishing type:Research paper (other academic)  

    researchmap

  • Faceted search engine for activities of academic staff

    S.Hirokawa, T.Seki, Y.Yasumoto, Y.Yamada

    67 - 72   2005.7

     More details

    Language:Japanese   Publishing type:Research paper (other academic)  

    researchmap

  • 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

     More details

    Language:Japanese   Publishing type:Research paper (other academic)   Publisher:Information Processing Society of Japan (IPSJ)  

    Information Retrieval is a key technology to utilize the vast amount of texts available on WWW. The conventional search technology mostly uses nouns to focus on target documents and characterize documents. A new trend of search concerns not objects or facts but emotional information, such as reputation, evaluation and reliability. For such purpose, this paper proposes a method to collect characteristic words using the difference of frequency of each word in the target documents and in other general documents. Characteristic words obtained with this method are reported for reputation information of hospitals.

    CiNii Article

    CiNii Books

    researchmap

  • , Associated search engine of researcher datas and patent datas for technology transfers

    T.Seki, N.Ogawa, T.Kakioka, S.Hirokawa

    25 - 26   2005.5

     More details

    Language:Japanese   Publishing type:Research paper (other academic)  

    researchmap

  • A matching retrieval model between industrial needs and technological seeds

    S.Hirokawa, T.Seki, N.Ogawa, T.Kakioka

    144 - 145   2005.5

     More details

    Language:Japanese   Publishing type:Research paper (other academic)  

    researchmap

  • 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

     More details

    Language:Japanese   Publishing type:Research paper (other academic)  

    researchmap

  • Frequent words in research activities of university researchers

    T.Seki, Y.Yasumoto, S.Hirokawa

    1 - 8   2005.3

     More details

    Language:Japanese   Publishing type:Research paper (other academic)  

    researchmap

  • 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

     More details

    Language:Japanese   Publishing type:Research paper (other academic)  

    researchmap

  • Teacher associative search engine

    Takahiro Seki, Sachio Hirokawa

    2005-DD-48(5)   33 - 40   2005.1

     More details

    Language:Japanese   Publishing type:Research paper (other academic)  

    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

     More details

    Language:English   Publishing type:Research paper (other academic)  

    researchmap

  • The γ-admissibility for relevant modal logics

    Takahiro Seki

    Proceedings of the 37th MLG meeting at Shizuoka, Japan 2003   46 - 49   2003.12

     More details

    Language:English   Publishing type:Research paper (other academic)  

    researchmap

  • A Sahlqvist theorem for relevant modal logics Reviewed

    Takahiro Seki

    Studia Logica   73 ( 3 )   383 - 411   2003.4

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    researchmap

  • General Frames for Relevant Modal Logics Reviewed

    Takahiro Seki

    Notre Dame Journal of Formal Logic   44 ( 2 )   93 - 109   2003

     More details

    Language:English   Publishing type:Research paper (scientific journal)   Publisher: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 Reviewed

    Takahiro Seki

    2002.3

     More details

    Language:English   Publishing type:Thesis (other)  

    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

     More details

    Language:English   Publishing type:Research paper (other academic)  

    researchmap

  • Some remarks on Maehara's method Reviewed

    Takahiro Seki

    Bulletin of the Section of Logic   30 ( 3 )   147 - 154   2001.10

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    researchmap

  • 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

     More details

    Language:English   Publishing type:Research paper (other academic)   Publisher:Japan Advanced Institute of Science and Technology  

    CiNii Article

    CiNii Books

    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   1 - 23   2001.7

     More details

    Language:English   Publishing type:Research paper (other academic)   Publisher:Japan Advanced Institute of Science and Technology  

    CiNii Article

    CiNii Books

    researchmap

  • 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

     More details

    Language:English   Publishing type:Research paper (other academic)   Publisher:Japan Advanced Institute of Science and Technology  

    CiNii Article

    CiNii Books

    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

     More details

    Language:English   Publishing type:Research paper (other academic)  

    researchmap

▶ display all

MISC

▶ display all

Presentations

  • メタ完全性を用いたカット除去定理の証明

    関 隆宏

    証明論研究集会2018  2018.12 

     More details

    Event date: 2018.12

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • 公理KとSを持つ部分構造論理における構造規則の導出可能性

    関 隆宏

    証明論シンポジウム2024  2024.12 

     More details

    Event date: 2024.12

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • 我が国の私立大学の中期計画の策定・運用に関する現状と課題

    高田英一, 森 雅生, 高松邦彦, 関 隆宏, 大石哲也, 小柏香穂理

    第13回大学情報・機関調査研究集会  2024.11 

     More details

    Event date: 2024.11

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • Variations of axioms K and S in substructural logics

    Takahiro Seki

    6th Asian Workshop on Philosophical Logic  2024.3 

     More details

    Event date: 2024.3

    Language:English   Presentation type:Oral presentation (general)  

    researchmap

  • 公理Wに対応する推論規則とその周辺

    関 隆宏

    第58回数理論理学研究集会  2024.2 

     More details

    Event date: 2024.2

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • A Gentzen-style calculus for substructural logics with axioms W and S

    2023.12 

     More details

    Event date: 2023.12

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • Constant-free substructural logics with associative exchange rules

    関 隆宏

    第57回数理論理学研究集会  2023.3 

     More details

    Event date: 2023.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • 公理Sの族に対応する推論規則

    関 隆宏

    証明論研究集会2022  2022.12 

     More details

    Event date: 2022.12

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • 制限された weakening と contraction を持つ結合則を持たない部分構造論理の可換性

    関 隆宏

    日本数学会2022年度秋季総合分科会  2022.9 

     More details

    Event date: 2022.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • Exchange に関わる結合則の族の関係

    関 隆宏

    第56回数理論理学研究集会  2022.3 

     More details

    Event date: 2022.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • Exchange に関わる結合則の族に対応する推論規則

    関 隆宏

    証明論研究集会2021  2021.12 

     More details

    Event date: 2021.12

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • Exchange に関わる結合則の族の分類

    関 隆宏

    日本数学会2021年度秋季総合分科会  2021.9 

     More details

    Event date: 2021.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • 適切論理から見た部分構造論理 Invited

    関 隆宏

    日本数学会2021年度年会  2021.3 

     More details

    Event date: 2021.3

    Language:Japanese   Presentation type:Oral presentation (invited, special)  

    researchmap

  • 結合則を持たない部分構造論理の Kripke 型意味論について

    関 隆宏

    第55回数理論理学研究集会  2021.3 

     More details

    Event date: 2021.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • 対偶を持つ対合的部分構造論理における結合則の族について

    関 隆宏

    証明論研究集会2020  2020.12 

     More details

    Event date: 2020.12

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • 対偶を持つ対合的部分構造論理に対する Gentzen 流の形式化

    関 隆宏

    日本数学会2020年度秋季総合分科会  2020.9 

     More details

    Event date: 2020.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • A sequent calculus for substructural logics with associative weakening rules

    関 隆宏

    証明論研究集会2019  2019.12 

     More details

    Event date: 2019.12

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • A Gentzenization of some substructural logics with contraposition

    Takahiro Seki

    2019.12 

     More details

    Event date: 2019.12

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • 制限のある weakening 規則について

    関 隆宏

    日本数学会2019年度秋季総合分科会  2019.9 

     More details

    Event date: 2019.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • 様相論理S4のカット除去定理のメタ評価値を用いた証明

    関 隆宏

    日本数学会2019年度年会  2019.3 

     More details

    Event date: 2019.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • メタ完全性を用いたカット除去定理の証明

    関 隆宏

    第53回数理論理学研究集会  2018.12 

     More details

    Event date: 2018.11 - 2018.12

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • Current status and issues concerning the formulation and operation of mid-term plans for Japanese national universities: Based on the results of a questionnaire survey

    Tetsuya Oishi, Eiichi Takata, Masao Mori, Kunihiko Takamatsu, Takahiro Seki, Kahori Ogashiwa

    16th International Conference on Data Science and Institutional Research  2024.7 

     More details

    Language:English   Presentation type:Oral presentation (general)  

    researchmap

  • 我が国の大学の中期計画の策定・運用に関する現状と課題―アンケート調査結果を基に―

    高田英一, 森 雅生, 高松邦彦, 関 隆宏, 大石哲也, 小柏香穂理

    大学教育学会第46回大会  2024.6 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • 国立大学法人の中期計画の比較分析-国立大学法人評価の評価結果を踏まえて-

    高田英一, 森 雅生, 関 隆宏, 大石哲也, 小柏香穂理, 高松邦彦

    日本教育情報学会第38回年会  2022.8 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • 我が国の大学における大学ランキングに関する取組の現状と課題-国公私立大学を対象としたアンケート調査の結果を基に-

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

    日本教育情報学会第37回年会  2021.8 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • レピュテーション・マネジメントにおけるステークホルダーについての調査結果-使用している手法・ツールとその効果に注目して-

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

    日本教育情報学会第37回年会  2021.8 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • Presentation and coping problems of university ranking in Japan

    Tetsuya Oishi, Kahori Ogashiwa, Eiichi Takata, Saki Liu, Takahiro Seki, Masao Mori

    10th International Conference on Data Science and Institutional Research  2021.7 

     More details

    Language:English   Presentation type:Oral presentation (general)  

    researchmap

  • 世界のレピュテーション・マネジメントの現状と日本における IR 担当者の意識

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

    日本教育情報学会第35回年会  2019.8 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • わが国の国立大学におけるレピュテーション・マネジメントに関する意識と取組及び IR の活用の実態-アンケート調査の結果を元に-

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

    日本教育情報学会第35回年会  2019.8 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

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

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

    日本教育情報学会第34回年会  2018.8  日本教育情報学会

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:松蔭大学 厚木森の里キャンパス  

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

    researchmap

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

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

    日本教育情報学会第34回年会  2018.8  日本教育情報学会

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:松蔭大学 厚木森の里キャンパス  

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

    researchmap

  • Some relevant modal logics characterized by reduced frames

    Takahiro Seki

    2018.3 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    In Routley-Meyer semantics, relevant logics or relevant modal logics are characterized by unreduced frames in general. In this talk, we consider modal extensions of Slaney's reduced modeling theorem for relevant logics without WI.

    researchmap

  • The results of a questionnaire survey about the present situation and problem of drawing Japanese national universities management plans up by support of IR

    Tetsuya Oishi, Eiichi Takata, Takahiro Seki, Masao Mori

    New Perspectives in Science Education  2018.3 

     More details

    Language:English   Presentation type:Oral presentation (general)  

    researchmap

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

    関 隆宏

    IR集中講習会  2018.1 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:東京国際フォーラム  

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

    researchmap

  • A semilattice semantics in relevant logics

    Takahiro Seki

    2017.9 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    Semilattice semantics has been considered in relevant logics. In this semantics, completeness for implicational fragment of familiar relevant logics R and E can be proved but cannot for full R and E. In this talk, we consider semantics in which completeness of weaker relevant logics (and their neighbours) can be proved.

    researchmap

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

     More details

    Language:English   Presentation type:Oral presentation (general)  

    Venue: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 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

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

    researchmap

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

    関 隆宏

    第6回大学情報・機関調査研究集会  2017.8 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

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

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

    researchmap

  • Craig's interpolation theorem for non-associative substructural logics

    Takahiro Seki

    2017.3 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    Associativity (of fusion) is regarded as one of the important structural rules. Recently, some studies on non-associative substructural logics have been developed. In this talk, we show that some non-associative substructural logics have Craig's interpolation property using a Gentzen-style formulation.

    researchmap

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

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

    第5回大学情報・機関調査研究集会(MJIR)  2016.7 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:熊本市国際交流会館  

    researchmap

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

    関 隆宏

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

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:筑波大学  

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

    researchmap

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

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

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

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:立命館大学いばらきキャンパス  

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

    researchmap

  • Decidability of some involutive non-associative substructural logics

    関 隆宏

    第50回数理論理学研究集会  2016.1 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:京都  

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

    researchmap

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

    関 隆宏

    第4回大学情報・機関調査研究集会  2015.7 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:岡山コンベンションセンター  

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

    researchmap

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

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

    日本高等教育学会第18回大会  2015.6  日本高等教育学会

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:早稲田大学  

    researchmap

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

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

    日本高等教育学会第18回大会  2015.6  日本高等教育学会

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:早稲田大学  

    researchmap

  • Hallden-completeness and Sahlqvist formulas

    Takahiro Seki

    2015.3 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

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

    関 隆宏

    第1回教職開発研究会  2015.3  日本教育情報学会

     More details

    Language:Japanese   Presentation type:Public lecture, seminar, tutorial, course, or other speech  

    Venue:九州大学箱崎キャンパス  

    researchmap

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

    関 隆宏

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

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:名城大学名鉄サテライト  

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

    researchmap

  • A note on American plan semantics of relevant modal logics

    関 隆宏

    第49回数理論理学研究集会  2014.12 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:山中温泉河鹿荘ロイヤルホテル  

    researchmap

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

    関 隆宏

    第3回大学情報・機関調査研究集会  2014.9 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:北九州国際会議場  

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

    researchmap

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

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

    日本高等教育学会第17回大会  2014.6  日本高等教育学会

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:大阪大学  

    researchmap

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

    関 隆宏

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

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:学習院大学  

    researchmap

  • A remark on metacomplete relevant modal logics

    関 隆宏

    第48回数理論理学研究集会  2013.12 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:山中温泉河鹿荘ロイヤルホテル  

    researchmap

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

    関 隆宏

    第2回大学情報・機関調査研究集会  2013.9 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:くにびきメッセ  

    researchmap

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

    関 隆宏

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

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:京都大学  

    researchmap

  • A Gentzenization of some involutive non-associative substructural logics

    関 隆宏

    第47回数理論理学研究集会  2012.11 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:KKR湯沢ゆきぐに  

    researchmap

  • On relations among double negation translations in substructural logics

    Takahiro Seki

    2012.9 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • 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

     More details

    Language:English   Presentation type:Oral presentation (general)  

    Venue:Ishikawa Prefectural Museum of Art  

    researchmap

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

    関 隆宏

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

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:東京理科大学  

    researchmap

  • Recent topics on relevant modal logics International conference

    Takahiro Seki

    Asian workshop on Philosophical Logic 2012  2012.2 

     More details

    Language:English   Presentation type:Oral presentation (invited, special)  

    Venue:Ishikawa Hightech Center at Japan Advanced Institute of Science and Technology  

    researchmap

  • Some negative translations of non-associative substructural logics

    関 隆宏

    第46回数理論理学研究集会  2011.10 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:KKR湯沢ゆきぐに  

    researchmap

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

    関 隆宏

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

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:信州大学  

    researchmap

  • On Hallden-completeness of relevant modal logics

    関 隆宏

    第45回数理論理学研究集会  2011.1 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:KKR湯沢ゆきぐに  

    researchmap

  • An algebraic proof of the γ-admissibility of relevant modal logics International conference

    Takahiro Seki

    Algebra and Substructural Logics -- Take Four  2010.6 

     More details

    Language:English   Presentation type:Oral presentation (general)  

    Venue: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 

     More details

    Language:English   Presentation type:Oral presentation (general)  

    Venue:強羅静雲荘(箱根)  

    researchmap

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

    関 隆宏

    第43回数理論理学研究集会  2009.12 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:九州産業大学(福岡)  

    researchmap

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

    関 隆宏

    大学評価担当者集会2009  2009.9 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:九州大学西新プラザ  

    researchmap

  • A note on disjunction property of some substructural logics

    関 隆宏

    第42回数理論理学研究集会  2008.11 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:九州産業大学(福岡)  

    researchmap

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

    関 隆宏

    第41回数理論理学研究集会  2007.12 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:城崎  

    researchmap

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

    関 隆宏

    大学評価担当者集会2007  2007.9 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:九州大学(福岡市)  

    researchmap

  • 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 

     More details

    Language:English   Presentation type:Oral presentation (general)  

    Venue:北京国際会議中心  

    researchmap

  • An implementation of dendrogram in a faceted search engine

    T.Seki, T.Wada, Y.Yamada, S.Hirokawa

    2007.3 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • A faceted search engine for supporting information retrieval and analysis

    T.Seki, T.Wada, Y.Yamada, S.Hirokawa

    2007.2 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • Primeness of relevant modal logics

    関 隆宏

    第40回数理論理学研究集会  2006.12 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

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

    researchmap

  • A faceted search engine for scientific articles

    T.Seki, T.Wada, Y.Yamada, S.Hirokawa

    2006.9 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • Some classes of relevant modal logics

    関 隆宏

    第23回記号論理学と情報科学研究集会  2006.9 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:東京大学(東京都秋葉原)  

    researchmap

  • Multipronged retrieval system for care card as XML documents

    Y.Yasumoto, T.Seki, N.Nakashima, S.Hirokawa

    2006.3 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • Multiple-viewed search and analysis engine for electrical journal

    T.Seki, Y.Yasumoto, T.Wada, N.Ytow, S.Hirokawa

    2006.3 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • 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 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • Two topics on disjunctive rules in relevant modal logic

    関 隆宏

    第39回数理論理学研究集会  2005.12 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:蒲郡荘(愛知県蒲郡市)  

    researchmap

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

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

    第4回情報科学技術フォーラム  2005.9 

     More details

    Language:Japanese  

    researchmap

  • Search engine with multiple views International conference

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

    APII Workshop 2005  2005.9 

     More details

    Language:English   Presentation type:Poster presentation  

    Venue:Grand Intercontinental Hotel, Seoul  

    researchmap

  • A note on metavaluation and γ for relevant modal logics

    関 隆宏

    第22回記号論理学と情報科学研究集会  2005.9 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:東京工業大学(東京都目黒区)  

    researchmap

  • Multiple analysis of reputation information of hospitals

    Y.Yasumoto, T.Wada, T.Seki, S.Hirokawa

    2005.8 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • Faceted search engine for activities of academic staff

    S.Hirokawa, T.Seki, Y.Yasumoto, Y.Yamada

    2005.7 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • 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 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • Associated search engine of researcher datas and patent datas for technology transfers

    T.Seki, N.Ogawa, T.Kakioka, S.Hirokawa

    2005.5 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • An analysis of reputation information of hospitals using frequency of words

    T.Wada, T.Seki, S.Tanaka, S.Hirokawa

    2005.5 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • A matching retrieval model between industrial needs and technological seeds

    S.Hirokawa, T.Seki, N.Ogawa, T.Kakioka

    2005.5 

     More details

    Language:Japanese   Presentation type:Poster presentation  

    researchmap

  • An implementation of XML data base for university evaluation system

    N.Sugimoto, T.Seki, A.Ishino, R.Kanamaru, M.Takeda, S.Hirokawa

    2005.3 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • Frequent words in research activities of university researchers

    T.Seki, Y.Yasumoto, S.Hirokawa

    2005.3 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • Exploiting the university evaluation system for research strategy

    S.Tanaka, T.Seki, A.Ishino, R.Kanamaru, N.Sugimoto, M.Takeda, S.Hirokawa

    2005.3 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • Teacher associative search engine

    T.Seki, S.Hirokawa

    2005.1 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

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

    Takahiro Seki

    The Logic Summer School 2004  2004.12 

     More details

    Language:English   Presentation type:Oral presentation (general)  

    Venue:The Australian National University  

    researchmap

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

    関 隆宏

    第38回数理論理学研究集会  2004.10 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:蒲郡荘(愛知県蒲郡市)  

    researchmap

  • General frames for relevant modal logics

    T.Seki

    2004.9 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • The gamma admissibility for relevant modal logics International conference

    Takahiro Seki

    Workshop on Modal and Substructural Logics  2004.1 

     More details

    Language:English   Presentation type:Oral presentation (general)  

    Venue:Japan Advanced Institute of Science and Technology  

    researchmap

  • The gamma admissibility for relevant modal logics

    T.Seki

    2003.12 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • A Sahlqvist theorem for relevant modal logics

    関 隆宏

    第35回数理論理学研究集会  2002.1 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:KKR 湯沢 ゆきぐに(新潟県湯沢町)  

    researchmap

  • Models for normal modal logics over KR

    関 隆宏

    第34回数理論理学研究集会  2001.1 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:KKR 湯沢 ゆきぐに(新潟県湯沢町)  

    researchmap

▶ display all

Research Projects

  • 内部質保証の実質化の阻害要因と促進要因に関する研究

    Grant number:24K06081

    2024.4 - 2027.3

    System name:科学研究費助成事業

    Research category:基盤研究(C)

    Awarding organization:日本学術振興会

    高田 英一, 森 雅生, 関 隆宏, 大石 哲也, 小柏 香穂理, 高松 邦彦

      More details

    Authorship:Coinvestigator(s) 

    Grant amount:\4550000 ( Direct Cost: \3500000 、 Indirect Cost:\1050000 )

    researchmap

  • 大学の経営改善に資する経営計画のあり方に関する研究

    Grant number:21K02659

    2021.4 - 2024.3

    System name:科学研究費助成事業 基盤研究(C)

    Research category:基盤研究(C)

    Awarding organization:日本学術振興会

    高田 英一, 森 雅生, 関 隆宏, 大石 哲也, 小柏 香穂理, 高松 邦彦

      More details

    Authorship:Coinvestigator(s) 

    Grant amount:\4160000 ( Direct Cost: \3200000 、 Indirect Cost:\960000 )

    令和3年度においては、国立大学の第3期の中期計画の現状と課題の把握を行った。
    まず、国立大学の第3期中期目標期間の中期計画の現状と課題を把握した。具体的には、ロジックモデルの観点から、国立大学の中期計画の構造の分析を行った。ロジックモデルは、「目的」、「インプット」、「取組」、「アウトプット」、「アウトカム」の5つの要素で構成した。調査の結果、ロジックモデルの全ての要素を備えている中期計画はほとんどなかった。また、「目的」は要素の中で最も記載の割合が高かった。中期計画は法人評価が義務付けられていることから、不達成の評価を受けるリスクを回避するために「目的」の形で規定した可能性も推察される。さらに、「アウトプット」及び「アウトカム」は、「目的」よりも記載の割合は低かった。不達成のリスク回避や予測の困難さとともに、中期計画の策定の際に取組からアウトプット、アウトカムに至るまでの論理構造が十分に整理されていないことが要因と推察される。この分析結果については、取りまとめの上で、関係する学会、研究会等において公表し、意見交換を通じて、ブラッシュアップを図る予定である。
    また、研究代表者、研究分担者の所属大学において、担当業務に関係して、第4期中期目標期間の中期計画の策定の支援に従事し、策定の過程、その状況を把握した。
    さらに、国立大学の場合、中期計画と法人評価、PDCAサイクル、内部質保証は密接な関係があることから、今後の法人評価の方向に関する研究を行った。

    researchmap

  • 部分構造論理における結合則の族の階層性

    Grant number:19K03600

    2019.4 - 2023.3

    System name:科学研究費助成事業 基盤研究(C)

    Research category:基盤研究(C)

    Awarding organization:日本学術振興会

    関 隆宏

      More details

    Authorship:Principal investigator 

    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回は特別講演として)発表した。

    researchmap

  • 大学のレピュテーション・マネジメントの推進のためのIRの活用のあり方に関する研究

    Grant number:18K02705

    2018.4 - 2022.3

    System name:科学研究費助成事業 基盤研究(C)

    Research category:基盤研究(C)

    Awarding organization:日本学術振興会

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

      More details

    Authorship:Coinvestigator(s) 

    Grant amount:\4160000 ( Direct Cost: \3200000 、 Indirect Cost:\960000 )

    令和元年度に国立大学を対象として行ったレピュテーション・マネジメントの取組に関するアンケート調査の結果をまとめて、論文として公表した。論文では、調査の結果から,レピュテーション・マネジメントの重要性が多くの大学で認識されるとともに,レピュテーション・マネジメントに関する取組が実施されていること,また,レピュテーション・マネジメントへの IR の活用の必要性が認識されている状況が明らかとなったことを指摘した。
    また、レピュテーション・マネジメントの取組の有力なツールである大学のWebページに着目し、大学が「自大学のランクイン」に関する情報をWebページに掲載していることを大学ランキングのレピュテーション・マネジメントへの活用事例と見なした上で、日本の大学のWebページにおける著名な大学ランキングへのランクインに関する情報の掲載状況の調査を行い、その結果を学会に報告した。学会報告では、ランクインした全ての大学が大学ランキングをRMに活用しているわけではない状況を踏まえて、各大学では順位の高さだけでなく、各ランキングの評価項目、ステイタス等の要素を考慮した上で、レピュテーション・マネジメントへの大学ランキングの活用に関する判断を行っているとの推察等を指摘した。
    さらに、上記の調査結果を踏まえて、レピュテーション・マネジメントの取組の調査項目の検討を行った上で、我が国の全大学を対象としてレピュテーション・マネジメントに関する取組のアンケート調査を実施した。その際、特にレピュテーション・マネジメントの取組の重要なツールである大学ランキングについても調査を行った。

    researchmap

  • 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

      More details

    Authorship:Coinvestigator(s) 

    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.

    researchmap

  • 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

      More details

    Authorship:Coinvestigator(s) 

    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.

    researchmap

  • 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

      More details

    Authorship:Collaborating Investigator(s) (not designated on Grant-in-Aid) 

    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.

    researchmap

  • Study about institutional research which support to Internal quality assurance in Japanese Universities

    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

      More details

    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.

    researchmap

  • 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

      More details

    Authorship:Coinvestigator(s) 

    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.

    researchmap

  • 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

      More details

    Authorship:Coinvestigator(s) 

    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.

    researchmap

▶ display all

 

Teaching Experience (researchmap)

▶ display all

Teaching Experience

  • 応用幾何学I

    2020
    Institution name:新潟大学

  • 応用代数学II

    2018
    Institution name:新潟大学

  • 応用代数学I

    2017
    Institution name:新潟大学

  • 幾何学特講

    2015
    Institution name:新潟大学

  • 代数学特論II

    2013
    -
    2015
    Institution name:新潟大学

  • 代数学演習II

    2013
    -
    2014
    Institution name:新潟大学

  • 代数学序説

    2010
    Institution name:新潟大学

  • 代数学特講

    2009
    -
    2017
    Institution name:新潟大学

▶ display all

 

Social Activities

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

    Role(s): Lecturer

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

     More details

    Audience: Teachers

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

    researchmap

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

    Role(s): Lecturer, Planner, Organizing member, Report writing

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

     More details

    Audience: Teachers

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

    researchmap

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

    Role(s): Lecturer

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

     More details

    Audience: Teachers

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

    researchmap

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

    Role(s): Lecturer, Advisor

    新潟市教育委員会  新潟市立総合教育センター  2017.8 - 2018.1

     More details

    Audience: Teachers

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

    researchmap

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

    Role(s): Lecturer, Planner, Organizing member, Report writing

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

     More details

    Audience: Teachers

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

    researchmap

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

    Role(s): Lecturer, Planner, Organizing member, Report writing

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

     More details

    Audience: Teachers

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

    researchmap

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

    Role(s): Lecturer, Planner, Organizing member, Report writing

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

     More details

    Audience: Teachers

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

    researchmap

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

    Role(s): Organizing member

    2012.3 - 2017.8

     More details

    Audience: Teachers, Researchesrs, General

    researchmap

▶ display all