College of Agriculture,Food and Environment Sciences, Department of Food Science and Human Wellness
上野岳史 ウエノ タケシ
E-Mail:
Website:

Last Update :2022/01/15

Researcher Profile and Settings

Name

UENO Takeshi

Affiliation (Master)

College of Agriculture,Food and Environment Sciences, Department of Food Science and Human Wellness

Affiliation & Job

Faculty of Dairy Science Department of Food Science
Associate Professor

Education

  1989 04  - 1995 03 , Hokkaido University, School of Science

Degree

博士(理学)

Association Memberships

Japan Association for the Study of Cooperation in Education
Association for Symbolic Logic
Japanese Association of First-Year Experience at Universities and Colleges
JAPAN ASSOCIATION FOR PHILOSOPHY OF SCIENCE
MATHEMATICS EDUCATION SOCIETY OF JAPAN
THE MATHEMATICAL SOCIETY OF JAPAN

Research Activities

Research Areas

Natural sciences, Applied mathematics and statistics
Natural sciences, Basic mathematics

Research Interests

Substructural Logics,
Category Theory,
Mathematical Logic,

Published Papers

Development of Liberal Arts Chemistry Class Based on Learning Through Discussion Method : Comparison of Learning Outcomes with Lecture-style Class, 44, 1, 1, 7, 20191000
On Approaches to Improve Students' Activity by Utilization of Incomplete Answers II, Takeshi Ueno, Tadashi Sano, Yoshinori Shimamoto, Shuuichi Owada, Daiji Endoh, Hajime Oshitani, Kentaro Koito, Harue Shiroishi, Takashi Tochihara, Akira Maruyama, Shigeru Morita, Yoshihiko Yoshino, Kouta Yamazaki, 246, 246, 20190300
On Implicational Connectives of Quantum Logics analyzed in Gentzen-style Natural Deduction for Non-commutative Substructural Logics, UENO Takeshi, TETUGAKU, TETUGAKU, 52, 1, 71, 90, 20181200, Refereed
On Non-eliminability of the Cut Rule and the Roles of Associativity and Distributivity in Non-commutative Substructural Logics, Takeshi UENO, Koji NAKATOGAWA, Osamu WATARI, TETSUGAKU, TETSUGAKU, 52, 5, 16, 20181200, Refereed
Attempt to improve educational effect by cooperation of audience response system, e-learning and report return system with small test, Daiji ENDOH, Kota YAMAZAKI, Yoshihiko YOSHINO, Kentaro KOITO, Takeshi UENO, Akira MARUYAMA, Yuko TAKAHASHI, Jun MINAGUCHI, Shigeru MORITA, Keiji UENO, Takashi TOCHIHARA, 301, 302, 20180900
On Implicational Connectives of Quantum Logics for Non-commutative Substructural Logics formulated Gentzen-style Natural Deduction, UNENO Takeshi, CLMPS2015 / LC2015 Book of abstracts, CLMPS2015 / LC2015 Book of abstracts, 201, 202, 20150800
On Structural Inference Rules for Gentzen-style Natural Deduction, Part II, UNENO Takeshi, 85, 107, 20070600, Refereed
Substructural logics, cover schemes, quantales, UNENO Takeshi, Archive for Studies in Logic, Archive for Studies in Logic, 8, 1, 36, 38, 20070100
On Structural Inference Rules for Gentzen-style Natural Deduction, Part II, UNENO Takeshi, 8, 1, 1, 23, 20070100
On multiplicative conjunction for non-commutative classical substructural logics, UNENO Takeshi, 7, 1, 1, 4, 20060100
Introduction to Noncommutative Substructural Logics, UNENO Takeshi, Archive for Studies in Logic (AFSIL), Archive for Studies in Logic (AFSIL), 5, 4, 38, 54, 20051000
Sequent Systems for Classical and Intuitionistic Substructural Modal Logics., O.Watari, T.Ueno, K.Nakatogawa, M.F.Kawaguchi, M.Miyakoshi, Proceeding of the 7th and 8th Asian Logic Conferences, Proceeding of the 7th and 8th Asian Logic Conferences, 423, 442, 20031100, Refereed
Normalizaton theorems for substructural logics in Gentzen-style natural deduction, WATARI Osamu, UNENO Takeshi, NAKATOGAWA Koji, The Bullitin of Symbolic Logic, The Bullitin of Symbolic Logic, 6, 3, 390, 391, 20000900
Substructural Logics Obtained from van Oosten's Little Piece of the Categorical Logic, UNENO Takeshi, NAKATOGAWA Koji, The Bullitin of Symbolic Logic, The Bullitin of Symbolic Logic, 5, 5, 145, 145, 19990300
Natural Deductions for Substructural Logics, UNENO Takeshi, Hokkaido University, Hokkaido University, 19990300, Refereed
On Structural Inferennce Rules for Gentzen-style Natural Deduction, UNENO Takeshi, World Scientific・Proceedings of Sixth Asian Logic Conference, Beijing 1996, World Scientific・Proceedings of Sixth Asian Logic Conference, Beijing 1996, 199, 221, 19980300, Refereed
On Structural inference Rules for Genzen-Style Natural Deduction, UNENO Takeshi, Hokkaido University, Hokkaido University, 19960300, Refereed

Conference Activities & Talks

On Approaches to Improve Students' Activity by Utilization of Incomplete Answers II, Takeshi Ueno, Tadashi Sano, Yoshinori Shimamoto, Shuuichi Owada, Daiji Endoh, Hajime Oshitani, Kentaro Koito, Harue Shiroishi, Takashi Tochihara, Akira Maruyama, Shigeru Morita, Yoshihiko Yoshino, Kouta Yamazaki, 25th Kyoto University Conference on Higher Education,   2019 03 24
On Implicational Connectives of Quantum Logics for Non-commutative Substructural Logics formulated Gentzen-style Natural Deduction, UENO Takeshi, CLMPS2015,   2015 08


教員総覧