[
Top
|
Curriculum Vitae
|
Teaching
|
@Google Scholar
|
@DBLP
|
@Researchmap
|
@Research Gate
]
Welcome to Katsuhiko Sano's website
Menu
Top
:このページ.
Curriculum Vitae
:これまでの業績.
北海道大学文学研究科の研究紹介の頁
(外部リンク)
DBLP の `Katsuhiko Sano' の項目
(外部リンク)
Katsuhiko Sano @ Google Scholar
(外部リンク)
Researchmap の Katsuhiko Sano の項目
(外部リンク)
Katsuhiko Sano@Research Gate
(外部リンク)
What's New?
Yahoo!ジオシティーズ サービス終了に伴い、さくらインターネットへと引っ越しました。新しいアドレスは
http://k2sn.sakura.ne.jp/
です。(2019/03/20)
Curriculum Vitae
を更新.(2019/03/09)
Curriculum Vitae
を更新.(2018/04/03)
Curriculum Vitae
を更新.
北海道大学文学研究科の研究紹介の頁
,
@Researchmap
と
@Research Gate
へのリンクを追加しました。(2018/03/04)
『コンピュータ理論の起源 第1巻 チューリング』サポートページ
を作成.正誤表があります.(2017/08/31)
Curriculum Vitae
を更新.(2017/04/17)
Curriculum Vitae
を更新.北海道大学 文学研究科・文学部に異動しました.(2016/09/28)
Basic Mathematics 2016
の頁に中間試験に関する注意を追加.(2016/06/30)
Basic Mathematics 2016
の頁に第7回目の授業の授業資料と演習問題を追加.(2016/06/27)
Basic Mathematics 2016
の頁に第5回目、第6回目の授業の授業資料と演習問題を追加.(2016/06/24)
Basic Mathematics 2016
の頁に第4回目の授業の授業資料と演習問題を追加.(2016/06/21)
Basic Mathematics 2016
の頁に第3回目の授業の授業資料と演習問題を追加.(2016/06/16)
Basic Mathematics 2016
の頁に第2回目の授業の授業資料と演習問題を追加.(2016/06/13)
Basic Mathematics 2016
の頁を新設.(2016/06/09)
Modal Logic (I236)
の頁に様相論理の第3回目の講義資料を追加. (2016/05/31)
Modal Logic (I236)
の頁に様相論理の第2回目の講義資料を追加. (2016/05/26)
Teaching
の項目に
Modal Logic (I236)
の頁に様相論理の第1回目の講義資料を追加.
Curriculum Vitae
を更新. (2016/05/23)
Curriculum Vitae
を更新.(2016/04/27)
Teaching
の項目の
上級Cプログラミング
の頁を更新.(2016/02/01)
I uploaded slides of the 3rd lecture on modal logic at
I236(2-2): Modal Logic
. (2016/01/13)
I added slides of the 2nd lecture on modal logic at
I236(2-2): Modal Logic
. (2016/01/06)
Under item of
Teaching
, I opened a page on
I236(2-2): Modal Logic
. (2015/12/21)
Teaching
の項目に、
上級Cプログラミング
の頁を作成、これまでの授業の授業資料を掲載. (2015/12/14)
Curriculum Vitae
とページアウトラインを少し更新.(2015/09/22)
2015年8月18日から21日にかけての
数学基礎論サマースクール2015
で「様相論理入門」の講師を務めました。(2015/09/22)
Modal Logic (I236)
の頁に様相論理の第3回目の講義資料を追加 (2015/06/03)
Modal Logic (I236)
の頁に様相論理の第2回目の講義資料を追加 (2015/06/01)
Modal Logic (I236)
の頁に様相論理の第1回目の講義資料を追加 (2015/05/26)
Graph and Automaton 2015
の頁に第5回目の講義資料を追加 (2015/04/24)
Graph and Automaton 2015
の頁に第4回目の講義資料を追加 (2015/04/21)
Graph and Automaton 2015
の頁に第3回目の講義資料を追加 (2015/04/17)
Graph and Automaton 2015
の頁に第2回目の講義資料を追加 (2015/04/13)
Graph and Automaton 2015
の頁を作成 (2015/04/10)
Curriculum Vitae
を少し更新.(2015/04/02)
Curriculum Vitae
を少し更新.(2015/04/02)
Curriculum Vitae
を少し更新.(2015/02/12)
Curriculum Vitae
を少し更新.(2014/10/07)
Curriculum Vitae
を少し更新.
Basic Mathematics 2014
の頁にTAの秦野君の資料を追加.(2014/06/12).
Basic Mathematics 2014
の頁の第14回目の授業の授業資料の誤植を修正. (2014/05/29)
Basic Mathematics 2014
の頁に第13回目, 第14回目の授業の授業資料と演習問題を追加.(2014/05/28)
Basic Mathematics 2014
の頁に第11回目, 第12回目の授業の授業資料と演習問題を追加.(2014/05/22)
Basic Mathematics 2014
の頁に第10回目の授業の授業資料と演習問題を追加.(2014/05/19)
Curriculum Vitae
を少し更新.(2014/05/10)
Basic Mathematics 2014
の頁に第9回目の授業の授業資料と演習問題を追加.中間試験へのアドバイスも追加.(2014/05/10)
Basic Mathematics 2014
の頁に第7回目の授業の授業資料と演習問題を追加.(2014/05/01)
Basic Mathematics 2014
の頁に第6回目の授業の授業資料と演習問題を追加.(2014/04/30)
Basic Mathematics 2014
の頁に第5回目の授業の授業資料と演習問題を追加.(2014/04/27)
Basic Mathematics 2014
の頁に第4回目の授業の授業資料と演習問題を追加.(2014/04/23)
Basic Mathematics 2014
の頁を新設.(2014/04/17)
Curriculum Vitae
を更新.(2013/10/23)
Basic Mathematics 2013
の頁を更新.期末試験に関する注意を掲載.(2013/06/03)
Basic Mathematics 2013
の頁に第14回目の授業の授業資料, 第14回目の演習問題を追加.(2013/05/31)
Basic Mathematics 2013
の頁に第13回目の授業の授業資料,第12回目, 第13回目の演習問題を追加.(2013/05/28)
Basic Mathematics 2013
の頁に第12回目の授業の授業資料,第11回目の演習問題を追加.(2013/05/26)
Basic Mathematics 2013
の頁に第10回目の授業に関して補足を追加. (2013/05/22)
Basic Mathematics 2013
の頁に第11回目の講義資料を追加.第9回目, 第10回目の演習問題を追加.(2013/5/21)
Basic Mathematics 2013
の頁に第10回目の講義資料を追加.(2013/5/18)
Basic Mathematics 2013
の頁に第9回目の講義資料を追加.(2013/5/15)
Basic Mathematics 2013
の頁に第5回目の演習問題のヒントを訂正.中間試験へのアドバイスを掲載.(2013/5/09)
Basic Mathematics 2013
の頁に第7回目の講義資料と演習問題を追加.(2013/5/07)
Curriculum Vitae
を更新.
Basic Mathematics 2013
の頁に第6回目の演習問題を追加.(2013/5/01)
Basic Mathematics 2013
の頁に第6回目の講義資料を追加.(2013/04/30)
Basic Mathematics 2013
の頁に第5回目の講義資料を追加.第4回目,第5回目の演習問題も追加しました.(2013/04/26)
Basic Mathematics 2013
の頁に第4回目の講義資料を追加.(2013/04/23)
Basic Mathematics 2013
の頁に第3回目の資料を追加.(2013/04/19)
Basic Mathematics 2013
の頁を作成.(2013/04/18)
Curriculum Vitae
を更新.(2012/10/05)
Curriculum Vitae
を少し更新.(2011/10/27)
Curriculum Vitae
を少し更新.(2011/10/04)
2011年7月19日から,北陸先端科学技術大学院大学,情報科学研究科,
東条研究室
の助教になりました. 今後ともどうぞ宜しくお願いいたします.また,
Curriculum Vitae
に,2011年2月以降の業績を加えました.(2011/07/25)
Curriculum Vitae
を少し見やすくしました.また新しい情報も加えました.(2011/02/03)
現在,レスター大学 Department of Computer Science に客員研究員として滞在しています.
レスター大学では
Alexander Kurz
先生のグループで,
Tadeusz Litak
君らと余代数の研究をしています.
一月にインド・デリー (
ICLA 2011
) で疑問文についての形式意味論
inquisitive semantics
について研究発表してきました.
Curriculum Vitae
を少し更新.(2010/08/30)
Curriculum Vitae
を少し更新.様相論理の国際会議
Advances in Modal Logic 2010 (AiML 2010)
に論文がアクセプトされました.モスクワに行ってきます.(2010/05/21)
Curriculum Vitae
を少し更新.(2010/05/01)
Curriculum Vitae
を少し更新.(2010/03/20)
現在,アムステルダム大学 ILLC に客員研究員として滞在中です.
Prof. Yde Venema
先生から余代数を学ぶ傍ら,
inquisitive semantics
についても知識を吸収しています.
Curriculum Vitae
を少し更新.(2009/07/22)
Curriculum Vitae
を少し更新.(2009/05/18)
Curriculum Vitae
を少し更新.(2009/04/13)
私がオーガナイズしていた
Two Day Workshop for Category Theory and Logic
の頁に写真を載せました.(2009/04/13)
What was New?
2008年度の更新記録