Tagged: Research

Hyper Natural Deduction 0

Hyper Natural Deduction

After quite some years of research, my colleague Arnold Beckmann and my paper on Hyper Natural Deduction has finally been published in the Journal of Logic and Computation. This paper was the difficult but...

The poison of academia.edu 3

The poison of academia.edu

All those working in academics or research have surely heard about academia.edu. It started out as a service for academics, in their own words: Academia.edu is a platform for academics to share research papers....

就職活動 0

就職活動

昨日僕の大学の契約が切れてしまった。これまで6年半北陸先端科学技術大学院大学で准教授として務めていたが、新年度から延長されないことになった。従って、新しい勤め先を探しているー僕の年齢を見るとあまりよろしくない。5年の件を潜脱した先端大学へ感謝!

Searching for a job 4

Searching for a job

Yesterday my contract with my university JAIST ended. I was working there as Associate Professor for 6.5 years, but the university decided not to extend my contract (financial problems, foreigner in Japan). That means,...