Research

研究について

Hokkaido University
Center for Human Nature,
Artificial Intelligence,
and Neuroscie

Publications

研究実績

2021

2020

  • Nakajo H., Chou M-Y., Kinoshita M., Appelbaum L., Shimazaki H., Tsuboi T., Okamoto H. (2020) Hunger Potentiates the Habenular Winner Pathway for Social Conflict by Orexin-Promoted Biased Alternative Splicing of the AMPA Receptor Gene. Cell reports. 31(12), 107790.

  • Nomura S., Ono H., Sano K. (2020) A cut-free labelled sequent calculus for dynamic epistemic logic. J. Log. Comput. 30(1), 321-348.

  • Ohata R., Asai T., Kadota H., Shigemasu H., Ogawa K., Imamizu H. (2020) Sense of Agency Beyond Sensorimotor Process: Decoding Self-Other Action Attribution in the Human Brain. Cerebral cortex. 30(7), 4076-4091.

  • Sano K. (2020) Goldblatt-Thomason-style Characterization for Intuitionistic Inquisitive Logic. Advances in Modal Logic. 13, 541-560.

  • Sano K., Yamasaki S. (2020) Subformula property and Craig interpolation theorem of sequent calculi for tense logics. Short Papers of Advances in Modal Logic (AiML 2020), 97-101.

  • Sawasaki T., Sano K. (2020) Proof-Theoretic Results of Common Sense Modal Predicate Calculi. Context, Conflict and Reasoning. 127-138.

  • Sawasaki T., Sano K. (2020) Frame definability, canonicity and cut elimination in common sense modal predicate logics. Journal of Logic and Computation.

  • Su Y., Sano K. (2020) Logics for Knowability Paradox with a Non-normal Possibility Operator Knowledge, Proof and Dynamics. Logic in Asia: Studia Logica Library. 51-72

  • Takeuti I., Sano K. (2020) Modal Logic and Planarity of Graphs. Context, Conflict and Reasoning. 115-126.

  • Yamazaki S., Iizuka H., Yamamoto M. (2020) Complexity of bird song caused by adversarial imitation learning. Artificial Life and Robotics. 25(1): 124-132.

  • 上田江里子, 久保孝富, 村重哲史, 永澤美保, 池田和司, 瀧本(猪瀬)彩加 (2020) ウマ(Equus caballus)とヒトにおける歩行同期の実証的検討 動物心理学研究 70(2), 27-39.

  • 田口 茂, 西郷甲矢人 (2020) 圏論による現象学の深化──射の一元論・モナドロジー・自己 現代思想 48(9), 202-214.

  • 田口 茂, 大塚 淳, 西郷 甲矢人 (2020) <特別寄稿>現象学的明証論と統計学──経験の基本的構造を求めて 哲学論叢 47, 20-34.

  • Miyahara K., Ransom T.G., Gallagher S. (2020) Chapter 5: What the situation affords: Habit and heedful interrelations in skilled performance. in Fausto Caruana and Italo Testa (eds.) Habit: Pragmatist Approaches from Cognitive Neurosciences to Social Sciences. pp.120–136. Cambridge University Press

  • Cappuccio M.L., Miyahara K., Ilundáin-Agurruza J. (2020) Wax On, Wax Off! Habits, Sport Skills, and Motor Intentionality. Topoi.

  • Chen C-Y., Matrov D., Veale R.E., Onoe H., Yoshida M., Miura K., Isa T. (2020) Properties of visually-guided saccadic behavior and bottom-up attention in marmoset, macaque, and human. Journal of Neurophysiology. 125, 437-457.

  • Hatano R., Sano K. (2020) Constructive Dynamic Logic of Relation Changers. Lecture Notes in Computer Science. 137-154.

  • Hatano R., Sano K. (2020) Recapturing Dynamic Logic of Relation Changers via Bounded Morphisms. Studia Logica.

  • Iwabuchi T., Ohba M., Ogawa K., Inui T. (2020) Incongruence of grammatical subjects activates brain regions involved in perspective taking in a sentence-sentence verification task. Journal of Neurolinguistics. 55, 100893.

  • Miyahara K., Niikawa T., Hamada H., Nishida S. (2020) Developing a short-term phenomenological training program: A report of methodological lessons. New Ideas in Psychology. 58

  • Murai R., Sano K. (2020) Craig Interpolation of Epistemic Logics with Distributed Knowledge, Lecture Notes in Computer Science, 211-221.

2019

  • Froese, T. & Taguchi, S. (2019). The Problem of Meaning in AI and Robotics: Still with Us after All These Years. Philosophies 4(2):14. https://doi.org/10.3390/philosophies4020014

  • Hu Z, Yang H, Yang Y, Nishida S, Madden-Lombardi C, Ventre-Dominey J, Dominey PF, Ogawa K (2019) Common Neural System for Sentence and Picture Comprehension Across Languages: A Chinese-Japanese Bilingual Study. Frontiers in human neuroscience. 13, 380.

  • Noguchi W., Iizuka H., Taguchi S., Yamamoto M. (2019) Spatial Representation of Self and Other by Superposition Neural Network Model. Proceedings of the Artificial Life Conference. 531-532.

  • Ogawa K, Mitsui K, Imai F, Nishida S (2019) Long-term training-dependent representation of individual finger movements in the primary motor cortex. NeuroImage. 202, 116051.

  • Sano K., Ma M. (2019) Sequent Calculi for Normal Update Logics. Logic and Its Applications – 8th Indian Conference, ICLA 2019, 132-143.

  • Sano K., Virtema J. (2019) Characterising modal definability of team-based logics via the universal modality. Ann. Pure Appl. Logic. 170(9), 1100-1127.

  • Sawasaki T., Sano K., Yamada T. (2019) Term-Sequence-Modal Logics. Logic, Rationality, and Interaction – 7th International Workshop, LORI 2019. 244 – 258.