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

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• ソース を表示
• 論理と計算 へ行く。
  • 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)

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

• 論理と計算セミナー
  • 第９回 論理と計算セミナー (2011.11.26(土))
• 2010 Mathematical Subject Classification
  
  • Logic and Calculus (MSC03)
  • Theoretical Computer Science (MSC68)
    
  • Theoretical Computer Science (Elsevier Journal)
  • AMS Presidents
    John von Neumann, Saunders Mac Lane, Ronald L. Graham, ...
  • ソフトウェア科学とは. (ソフトウェア科学会HPより)　
    

    ソフトウェアとハードウェアが計算機システムにおける車の両輪であることは言うまでもありません。
    そのソフトウェアの生産性や信頼性を向上させ、計算機システムを飛躍的に高度なものとするためには、
    しっかりした基礎づけの上にソフトウェアの新しい概念や方法が開発されなければなりません。
    そのためには、ソフトウェアの基礎理論を構築し、ソフトウェア工学を充実させ、人工知能や知識工学を
    豊かなものにする一つまり、ソフトウェア科学の確かな発展こそが必要だと考えられます。

• 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室)
  GPS: 33.59522N (33°35'42"), 130.21973E (130°13'11")
• 2011年(平成23年)4月1日(金) 九州大学にマス・フォア・インダストリ研究所が設置されます.
  
  
  
  
  • Googleストリートビュー(理系図書館入口付近) (←クリック! (2010/03/11))
    
    

htmlinsert(): No such a htmlinsert variable, id, in the specified page.

研究室内ページ †

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

• 研究室内連絡用 (研究室内Wiki, 研究室内Blog) New! (要ログイン)
  • 伊都の地階から
• Members Wiki
  • 大学院生(DC)
    Kissani, 田中(久), 坂下
  • 大学院生(MC)
    池田, 石井, 松下,川端
  • 学部生
    井, 松田,貝原,久保,豊福,松島

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

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

1限(8:40-10:10), 2限(10:30-12:00), 3限(13:00-14:30), 4限(14:50-16:20), 5限(16:40-18:10)

• 2011年度
  • 線形代数・同演習A(20110413)
    2011年度前期・工学部・1年
    
    • http://sakura.math.kyushu-u.ac.jp/2011/01/
    • 水4限@センター2号館2210教室
    • 4/13(水)開講予定 シラバス
  • 微分積分・同演習A
    2011年度前期・工学部・1年
    
    • 水4限@センター2号館2202教室
    • 10/05(木)開講予定
  • 数理学講究I (理学部・数学科3年)
    
    • 10月6日(木) 14:00- @119セミナー室 （開講予定)
      

• 2010年度
  • 自主ゼミテキスト紹介 (2010/06/01)
    2010年度前期・理学部・数学科学部生(ほか)
    
    
  • 情報科指導法II
    2010年度前期・理学部・数学科3-4年
    
    • 木5限@ウェスト4号館306教室
    • 4/15(木)開講予定 シラバス
  • 計算機数学概論
    2010年度前期・理学部・数学科2年
    
    • 木1限@センター1号館1602教室
    • 4/15(木)開講予定 シラバス

• 公開講座等
  • 2010/08/26-08/29 数理の翼・大川セミナー2010 (高校生)
    • 場所: 福岡県大川市(ふれあいの家)
    • 「数理の翼」大川セミナー２０１０公開講座
  • 2010/08/08(日) 九州大学オープンキャンパス(理学部・数学科)
    • 場所(受付): 九大伊都キャンパス・稲盛財団記念館1階・稲盛ホール
    • Wolfram Alpha を高校入試問題等に使ってみる
  • 2010/07/22(木) シンポジウム：数学力低下にどう対応するか
    • 場所: 九大伊都キャンパス・数理学研究教育棟3階・大講義室1

• Link: 九州大学教育情報サービス

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

• 思い出 (ミニ写真集)

その他 †

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

計算機設定 †

• サーバー監視

リンク †

• 放送大学オープンコースウェア (TV授業: 線形代数, 解析入門, コンピュータ入門など)
• Webラーニングプラザ (by JST)
• IEICE特集号 (2010年2月発行予定)
• IEICE特集号 (2011年2月発行予定)
• IEICE特集号 (2013年3月発行予定)
• LAシンポジウム (2009年)
• 応用数学分科会
• JCCA HP
• STOCK
• Dimensions Online
• 河原研卒業生の会
• 計算機相談員 (九大数理内のみ)
• バーチャル事務室 (九大数理内のみ)
• 数理ユーザ用Wiki
• IFIP (International Federation for Information Processing)
• EATCS (European Association for Theoretical Computer Science)
• The Alan Turing Year
• 九大山の家
• 島原共同研修センター
• 九州のりもの運行情報, 九州のバス時刻表, 福岡都市高速
• 西鉄バス接近情報＠九大工学部前
• 昭和バス(九大工学部前-九大学研都市駅), JR九州(九大学研都市駅-天神)
• 周船寺タクシー (←最終バスに乗り遅れたら!)
• 新型インフルエンザ情報 (九大健康科学センター)
  • 感染症情報センター
• SAGE(xserve.math.kyushu-u.ac.jp)
• MicrosoftDreamSpark
  マイクロソフト ドリームスパークは、マイクロソフトが世界で展開している学生支援プログラムです。
• 九州大学理学部数学科ELMS (九州大学理学部数学科で契約しているソフトウェアについて)
• 九州大学情報統括本部ソフトウェア事業部 (九州大学で契約しているソフトウェアについて)
• メール
  • 九大数理 (携帯)
  • Plala
  • Gmail
  • Windows Live
  • BB Comunicator
  • Mobile Me
  • Proself

• 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.148 sec.