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

お問い合わせ：嘉田 勝（大阪府立大学理学部情報数理科学科） [email protected]