[logic-ml] 大阪府立大学 情報数理談話会（12月10日金曜日/立木秀樹先生）

[Masaru Kada]

logic-ml のみなさま：

大阪府立大学 嘉田です．

下記の通り，大阪府立大学理学部情報数理科学科にて，
立木秀樹先生（京都大学）を講師にお招きして
談話会を実施いたしますので，ご案内申し上げます．

学外からのご参加も歓迎です．お近くの方はどうぞお越しください．

========
第35回 大阪府立大学情報数理談話会

講演題目：ボトム入り文字列を用いた、位相空間上の計算

講師：立木 秀樹（京都大学大学院 人間・環境学研究科）

日時：2010年12月10日（金） 17：00〜18：00
      （16:45 から会場で茶菓を用意しています）
場所：大阪府立大学 中百舌鳥キャンパス A13棟323教室

講演概要：
実数空間などの1以上の位相次元をもつ可分距離空間は、０１の無限列空間
（カントール空間）に埋め込むことはできません。しかし、０，１に加えて
⊥を含んだ無限列空間を考えたら、そこに埋め込むことができます。この
埋め込みと、０１⊥無限列を入出力するマシンの概念（あるいは、そのよう
な入出力が可能なプログラミング言語）を用いて、実数空間などの上の計算
概念を導入しましょう。
========

情報数理談話会ウェブページ
  http://www.mi.s.osakafu-u.ac.jp/lec-meeting/
交通案内・キャンパスマップ
  http://www.osakafu-u.ac.jp/access/index.html

お問い合わせ：嘉田 勝（大阪府立大学理学部情報数理科学科）
  kada at mi.s.osakafu-u.ac.jp


-- 
--------
 Masaru KADA  （嘉田 勝）
 kada at mi.s.osakafu-u.ac.jp
--------