自動車整備士養成教育に関する研究

非常に複雑で、多くの要素を含む自動車を扱う技術者を養成するために、より深く自動車のことを理解できるような、カリキュラム・教材開発に関する研究をしています。

短期大学部
自動車工学科

准教授

修士(工学)

亘理 修
( ワタリ オサム )

学位

修士(工学):北海道大学:2000年

研究分野

教育工学/数理論理学

キーワード

自動車整備士養成/e-Learning/アクティブ・ラーニング/部分構造倫理/ファジイ論理

エピソード

電動化や自動運転など日々進化していく自動車の仕組みをいっしょに学びましょう。

研究・学術活動

  • 論文(2件)
  • 会議論文(7件)
  • 紀要(3件)
  • 講演(5件)
  • 著書(0件)
  • 作品(0件)
  • 受賞(0件)
  • その他(20件)
著者 タイトル 発行元 ページ 発表年月日
Michiro KONDO, Osamu WATARI, Mayuka F. KAWAGUCHI, Masaaki MIYAKOSHI On a logic determined by commutative residuated lattices Far East Journal of Mathematical Sciences ISSN: 0972-0871 31 3 435-446 2008/12
OSAMU WATARI, TAKESHI UENO, KOJI NAKATOGAWA, MAYUKA F. KAWAGUCHI, MASAAKI MIYAKOSHI Sequent Systems for Classical and Intuitionistic Substructural Modal Logics Proceedings of the 7th and 8th Asian Logic Conferences, Singapore University Press/ World Scientific Publishing ISBN: 978-981-238-261-0 423-442 2003/11
著者 タイトル 発行元 ページ 発表年月日
Michiro KONDO, Osamu WATARI, Mayuka F. KAWAGUCHI, Masaaki MIYAKOSHI A logic determined by commutative residuated lattices 4th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2007) 2007/9
Osamu WATARI, Mayuka F. KAWAGUCHI, Masaaki MIYAKOSHI Uninorm Based Logic As An Extension of Substructural Logics Fle The 11th Information Processing and Management of Uncertainty in Knowledge-Based Systems Internationa Conference (IPMU 2006) 2006/7
Mayuka F. KAWAGUCHI, Osamu WATARI, Masaaki MIYAKOSHI Fuzzy Logics and Substructural Logics without Exchange Joint 4th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2005) and the 11th Rencontres Francophones sur la Logique Floue et ses Applications (LFA 2005) 2005/9
Mayuka F. KAWAGUCHI, Osamu WATARI, Masaaki MIYAKOSHI Non-Commutative Fuzzy Logics and Substructural Logics 5th Congress of Logic Applied to Technology (LAPTEC 2005) 2005/4
O.Watari, K.Nakatogawa and T.Ueno Normalization Theorems for Substructural Logics in Gentzen-style Natural Deduction 2000 Anuual Meeting of Association for Symbolic Logic 2000/6
T.Ueno, O.Watari and K.Nakatogawa On structural inference rules for Gentzen-style natural deduction, part II The 7th Asian Logic Conference 1999/6
O.Watari, K.Nakatogawa and M.Miyakoshi Modal full Lambek calculus FLK□ and its algebraic interpretation The 7th Asian Logic Conference 1999/6
著者 タイトル 発行元 ページ 発表年月日
亘理修 自動車工業科におけるアクティブ・ラーニングへの取り組み(第1 報) 北海道科学大学研究紀要 43 79-80 2017/7
亘理修 自動車整備士教育におけるアクティブ・ ラーニング導入の試み関する報告 北海道自動車短期大学研究紀要 39 7-9 2014/3
亘理修 学習データに基づく授業改善手法に関する報告—「エンジンの電装Ⅰ」を例に— 北海道自動車短期大学研究紀要 38 13-14 2013/2
著者 タイトル 発行元 ページ 発表年月日
亘理修 自動車工学学習教材の開発を題材としたPBL授業の実践 平成29年度教育改革ICT戦略大会 2017/9
亘理修 私的デバイスを活用する多様な端末に対応した情報リテラシー教育 平成28年度教育改革ICT戦略大会 2016/9
亘理修,林孝一,加賀田誠 自動車整備士養成課程におけるICT を活用した国家試験対策システムの導入について 平成26年度教育改革ICT戦略大会 2014/9
加賀田誠,亘理修,林孝一 整備士教育におけるe-Learningの導入 平成23年度工学教育研究講演会第59回年次大会 2011/9
亘理修,河口万由香,宮腰政明 ユニノルムに基づくファジィ論理と構造規則 第22回ファジィシステムシンポジウム 2006/9
著者 タイトル 発行元 ページ 発表年月日
著者 タイトル 発行元 ページ 発表年月日
著者 タイトル 発行元 ページ 発表年月日
著者 タイトル 発行元 ページ 発表年月日
河口万由香,亘理修,宮腰政明 タイプ2 t-ノルムとしての拡張t-ノルムの特性について 第31回多値論理フォーラム 2008/9
亘理修,能戸正,丸山晃市 自動車整備士教育におけるICT活用に関する研究 第40回全国自動車短期大学協会研究発表会 2008/8
河口万由香,近藤通朗,亘理修,宮腰政明 弱結合的関数の構成法について 第21回多値論理とその応用研究会 2008/1
河口万由香,亘理修,宮腰政明 Ordinal Sum による結合的関数の構成に関する一考察 第29回多値論理フォーラム 2006/8
上野岳史,中戸川孝治,亘理修 自然演繹における部分構造論理 科学基礎論学会2006年度総会 2006/6
河口万由香,亘理修,宮腰政明 擬t-ノルムおよび擬ユニノルムの構成法 第19回多値論理とその応用研究会 2006/1
亘理修,河口万由香,宮腰政明 ユニノルムに基づくファジィ論理 第28回多値論理フォーラム 2005/9
河口万由香,亘理修,宮腰政明 非可換ファジィ論理と部分構造論理 第18回多値論理とその応用研究会 2005/1
河口万由香,亘理修,宮腰政明 t-ノルムおよびユニノルムに基づくファジィ論理における二重否定律 27回多値論理フォーラム 2004/9
河口万由香,亘理修,宮腰政明,中戸川孝治 部分構造論理のモデルとしてのファジィ論理 第17回多値論理とその応用研究会 2004/1
上野岳史,中戸川孝治,亘理修 自然演繹による部分構造論理の体系に関する諸問題について Proof Theory 2003 2003/9
河口万由香,亘理修,宮腰政明 部分構造論理とファジィ論理 第26回多値論理フォーラム 2003/9
亘理修,上野岳史,中戸川孝治 非可換な古典的部分構造論理における乗法的選言について Proof Theory 2001 2001/12
亘理修,中戸川孝治,河口万由香,宮腰政明 部分構造化された様相論理とその代数的解釈 第14回多値論理とその応用研究会 2001/1
中戸川孝治,市村光康,上野岳史,内山智,亘理修 CAI による記号論理学の授業: 事例報告 2000 PC Conference 2000/8
亘理修,中戸川孝治,上野岳史 Toward normalizations for NFL 第16回記号論理と情報科学の研究集会 1999/10
亘理修,中戸川孝治,宮腰政明 様相full Lambek 計算とその代数的解釈 情報処理北海道シンポジウム’99 1999/5
亘理修,中戸川孝治,宮腰政明 Multiplicative/Additive Connectives for Deontic Logic 第15回記号論理と情報科学の研究集会 1998/10
O.Watari, K.Nakatogawa and M.Miyakoshi Toward a Interactive Proof Editor of Substructural Logic Beijing Workshop On Universal Algebra, Logic and Computer Science 1998/7
亘理修,細井慎太郎,中戸川孝治 論理学CAI とネットワーク? Tarski’s World の場合? 平成9年度情報処理教育研究集会 1997/1