論理と計算 のバックアップ(No.45)

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• ソース を表示
• 論理と計算 へ行く。
  • 1 (2008-09-04 (木) 09:00:28)
  • 2 (2008-09-04 (木) 09:00:28)
  • 3 (2008-09-04 (木) 09:00:28)
  • 4 (2008-09-04 (木) 09:00:28)
  • 5 (2008-09-04 (木) 09:00:28)
  • 6 (2008-09-04 (木) 09:00:28)
  • 7 (2008-09-04 (木) 09:00:28)
  • 8 (2008-09-04 (木) 09:00:28)
  • 9 (2008-09-04 (木) 09:00:28)
  • 10 (2008-09-04 (木) 09:00:28)
  • 11 (2008-09-04 (木) 09:00:28)
  • 12 (2008-09-04 (木) 09:00:28)
  • 13 (2008-09-04 (木) 09:00:28)
  • 14 (2008-09-04 (木) 09:00:28)
  • 15 (2008-09-04 (木) 09:00:28)
  • 16 (2008-09-04 (木) 09:00:28)
  • 17 (2008-09-04 (木) 09:00:28)
  • 18 (2008-09-04 (木) 09:00:28)
  • 19 (2008-09-04 (木) 09:00:28)
  • 20 (2009-08-21 (金) 04:06:01)
  • 21 (2009-08-21 (金) 04:06:01)
  • 22 (2009-08-21 (金) 04:06:01)
  • 23 (2009-09-01 (火) 02:58:48)
  • 24 (2009-09-01 (火) 02:58:48)
  • 25 (2009-09-01 (火) 02:58:48)
  • 26 (2009-09-01 (火) 02:58:48)
  • 27 (2009-09-01 (火) 02:58:48)
  • 28 (2009-09-01 (火) 02:58:48)
  • 29 (2009-09-01 (火) 02:58:48)
  • 30 (2009-09-01 (火) 02:58:48)
  • 31 (2009-09-01 (火) 02:58:48)
  • 32 (2009-09-01 (火) 02:58:48)
  • 33 (2009-09-01 (火) 02:58:48)
  • 34 (2009-09-01 (火) 02:58:48)
  • 35 (2009-09-01 (火) 02:58:48)
  • 36 (2009-09-01 (火) 02:58:48)
  • 37 (2009-09-01 (火) 02:58:48)
  • 38 (2009-09-01 (火) 02:58:48)
  • 39 (2009-09-01 (火) 02:58:48)
  • 40 (2009-09-01 (火) 02:58:48)
  • 41 (2009-09-01 (火) 02:58:48)
  • 42 (2009-09-01 (火) 02:58:48)
  • 43 (2009-09-01 (火) 02:58:48)
  • 44 (2010-03-25 (木) 14:49:52)
  • 45 (2010-03-27 (土) 10:54:52)
  • 46 (2010-04-12 (月) 08:05:55)
  • 47 (2010-04-12 (月) 11:07:10)
  • 48 (2010-04-13 (火) 15:02:59)
  • 49 (2010-04-15 (木) 05:39:57)
  • 50 (2010-04-25 (日) 11:56:02)
  • 51 (2010-05-14 (金) 13:48:03)
  • 52 (2010-06-03 (木) 12:45:02)
  • 53 (2010-07-23 (金) 08:22:59)
  • 54 (2010-07-23 (金) 08:27:27)
  • 55 (2010-07-26 (月) 16:52:42)
  • 56 (2010-07-31 (土) 08:13:33)
  • 57 (2010-07-31 (土) 08:29:32)
  • 58 (2010-08-07 (土) 05:51:08)
  • 59 (2010-08-08 (日) 13:00:46)
  • 60 (2010-08-17 (火) 14:08:02)
  • 61 (2010-08-20 (金) 04:09:25)
  • 62 (2010-09-09 (木) 16:09:08)
  • 63 (2010-09-29 (水) 06:17:32)
  • 64 (2010-09-30 (木) 10:23:54)
  • 65 (2010-10-02 (土) 01:19:51)
  • 66 (2010-10-07 (木) 04:14:23)
  • 67 (2010-12-01 (水) 05:01:37)
  • 68 (2010-12-08 (水) 14:03:33)
  • 69 (2010-12-14 (火) 15:42:08)
  • 70 (2010-12-22 (水) 04:15:54)
  • 71 (2011-01-14 (金) 16:58:02)
  • 72 (2011-02-18 (金) 13:21:42)
  • 73 (2011-03-03 (木) 10:19:37)
  • 74 (2011-03-31 (木) 16:35:35)
  • 75 (2011-03-31 (木) 16:50:11)
  • 76 (2011-04-01 (金) 04:01:28)
  • 77 (2011-04-03 (日) 02:54:27)
  • 78 (2011-04-03 (日) 02:55:20)
  • 79 (2011-04-07 (木) 16:43:31)
  • 80 (2011-04-11 (月) 12:31:47)
  • 81 (2011-05-28 (土) 15:40:30)
  • 82 (2011-05-28 (土) 15:45:12)
  • 83 (2011-06-29 (水) 02:57:07)
  • 84 (2011-07-14 (木) 12:49:58)
  • 85 (2011-07-14 (木) 16:36:58)
  • 86 (2011-07-16 (土) 15:32:12)
  • 87 (2011-07-25 (月) 13:32:39)
  • 88 (2011-08-03 (水) 15:51:18)
  • 89 (2011-09-02 (金) 07:28:27)
  • 90 (2011-09-12 (月) 18:45:18)
  • 91 (2011-09-27 (火) 15:10:11)
  • 92 (2011-10-05 (水) 07:56:40)
  • 93 (2011-10-06 (木) 14:02:09)
  • 94 (2011-10-20 (木) 15:53:21)
  • 95 (2011-11-14 (月) 21:37:10)
  • 96 (2012-01-22 (日) 05:10:14)
  • 97 (2012-02-01 (水) 05:08:01)
  • 98 (2012-02-22 (水) 17:13:50)
  • 99 (2012-03-26 (月) 22:17:39)
  • 100 (2012-05-24 (木) 12:41:47)
  • 101 (2012-05-24 (木) 12:50:44)
  • 102 (2012-08-14 (火) 01:17:22)
  • 103 (2012-08-21 (火) 17:08:49)
  • 104 (2012-09-26 (水) 11:21:05)
  • 105 (2012-10-02 (火) 07:21:53)
  • 106 (2012-10-04 (木) 04:16:07)
  • 107 (2012-10-04 (木) 17:42:11)
  • 108 (2012-10-04 (木) 17:47:41)
  • 109 (2012-10-06 (土) 18:18:34)
  • 110 (2012-10-07 (日) 11:44:15)
  • 111 (2012-10-21 (日) 20:08:58)
  • 112 (2013-03-25 (月) 16:15:18)
  • 113 (2013-04-04 (木) 08:31:31)
  • 114 (2013-05-14 (火) 07:24:32)
  • 115 (2013-08-08 (木) 15:27:35)
  • 116 (2013-09-18 (水) 14:57:51)
  • 117 (2013-10-03 (木) 19:06:01)
  • 118 (2013-10-08 (火) 11:06:12)
  • 119 (2013-11-29 (金) 11:25:05)
  • 120 (2013-12-21 (土) 14:44:28)

ここは「論理と計算」に関するホームページです。

• 2009年度 論理と計算に関するセミナー
  • 第４回 論理と計算に関するセミナー (2010.3.12)
• 2010 Mathematical Subject Classification
  
  • Logic and Calculus (MSC03)
  • Theoretical Computer Science (MSC68)
• Keywords
  
  • Algorithm Science, Thinking Games, Haskell
  • Quantum Computer, Groebner Basis, Small World Networks
  • Collision Based Computing, Spectral Clustering, Geometry Theorem Proving
    
    
• 2009年(平成21年)9月14日(月)より伊都キャンパスです.
  〒819-0395 福岡市西区元岡744 数理棟B1階(120室) Tel.092-802-???? 留守電.03-4590-0408
  
  • Googleストリートビュー(理系図書館入口付近) (←クリック! (2010/03/11))
    
    
    

• 新型インフルエンザ情報 (九大健康科学センター)
  • 感染症情報センター

研究室内ページ †

↑↑　(要パスワード(ymken)) → (ymken)/2009/伝言板

• 大学院生(DC)
  伊藤, Kissani, 田中(久)
• 大学院生(MC)
  坂下, 田中(敬), 中尾, 小畑, 北村, 下瀬
• 学部生
  石井, 松下, 松延, 川端, 日高

WebGraph <-- (Password Required (webgraph)) †

講義資料 (一部パスワードが必要です.) †

• 2010年度
  • 情報科指導法II
    2010年度前期・理学部・数学科3-4年
    
    • 木16:10-17:40@ウェスト4号館306教室
    • 4/15(木)開講予定
  • 計算機数学概論
    2010年度前期・理学部・数学科2年
    
    • 木8:40-10:10@センター1号館1602教室
    • 4/15(木)開講予定
• 2009年度
  • 計算機数学概論(20090416)
    2009年度前期・理学部・数学科2年
    
    • 木8:40-10:10@情報教育センター1602室(伊都)
  • 計算数理学
    2009年度後期・大学院 / 理学部・数学科4年
    
    • シラバス
    • 火10:30-12:00@小講義室2(図書館3階)
    • WebCT(Web学習システム)を利用します.
      
  • 情報処理演習III
    2009年度後期・理学部・数学科1年
    
    • 月14:50-16:20@全学教育棟1602室
    • WebCT(Web学習システム)を利用します.
      

• 公開講座等
  • 2009/08/07-08/11 第30回数理の翼夏季セミナー (高校生/大学(院)生/社会人)
    • グループワーク資料: バーコードについて.pdf, QRコードの作り方に関するメモ.pdf
    • 講義資料: 順序機械の最小実現について.pdf
  • 2008/08/08(金) 九州大学オープンキャンパス (理学部・数学科紹介)
    • 配布資料: 数字占いをしょう.pdf, デジタルの数理(掲示用).pdf
  • 2007/08/05-08/07 ハイレベル合宿 (高校生)
    • 2007/12/16(日) 「知の最前線」
  • 2007/08/03 現代数学入門講座 (一般)
• Link: 九州大学教育情報サービス

記録 (メンバー/卒業論文/修士論文/セミナーテキスト等) †

• 思い出

その他 †

• Call for Papers in Computer Sciences (RSS)
• RSS
  
• math.kyushu-u.ac.jp Webメール 試験中 (https)

計算機設定 †

• サーバー監視

リンク †

• Webラーニングプラザ (by JST)
• IEICE特集号 (2010年2月発行予定)
• IEICE特集号 (2011年2月発行予定)
• LAシンポジウム (2009年)
• 応用数学分科会
• JCCA HP
• 河原研卒業生の会
• 計算機相談員 (九大数理内のみ)
• バーチャル事務室 (九大数理内のみ)
• 数理ユーザ用Wiki
• IFIP (International Federation for Information Processing)
• EATCS (European Association for Theoretical Computer Science)
• AMS Presidents:A Timeline
  • John von Neumann, Saunders Mac Lane, Ronald L. Graham
• The Alan Turing Year
• 九大山の家
• 島原共同研修センター
• 九州のりもの運行情報, 九州のバス時刻表, 福岡都市高速
• 周船寺タクシー (←最終バスに乗り遅れたら!)
• メール
  • 九大数理 (携帯)
  • Plala
  • Gmail
  • Windows Live
  • BB Comunicator
  • Mobile Me

• User Agent Check
• HTML Color Table
• sakuraメールリスト一覧

PukiWiki 1.4.7 Copyright © 2001-2006 PukiWiki Developers Team. License is GPL.
Based on "PukiWiki" 1.3 by yu-ji. Powered by PHP 5.2.9. HTML convert time: 0.111 sec.