論理と計算

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

• 論理と計算セミナー
  • 第12回論理と計算セミナー (2014.9.1)
• TPP2014 (Theorem Proving and Provers meeting) (2014.12.3-12.5)
  高信頼な理論と実装のための定理証明および定理証明器
• 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))
    
    

研究室内ページ †

• 研究室内連絡用 (研究室内Wiki, 研究室内Blog) New! (要ログイン)
  • 伊都の地階から
• Members Wiki (Closed)
  • 大学院生(DC)
    Deni
  • 大学院生(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)

• 2016年度
  • 情報科指導法I
    2016年度前期・理学部数学科・2,3,4年
    
    • 木曜5限@W1-C201
  • 機能数理学概論I
    2016年度前期・大学院数理学府
    
    • 水曜2限@W1-D502
  • 情報数学特論I
    2016年度後期・理学部数学科・3年
    
    • 月曜4限@W1-C302
• 2015年度
  • プログラミング演習
    2015年度前期・だいが理学部数学科・1年
    
    • 火1限＠センター1号館
    • シラバス
    • Moodle

• 複雑システム大意 (後半)
  2015年度前期・大学院数理学府
  
  • 月曜3限, 6/1より.
  • シラバス

• 機能数理学概論I (3回)
  2015年度前期・大学院数理学府・MMAコース
  
  • 水2限, 7/1,8,15.
  • シラバス

• 複素関数論
  2015年度後期・建築学科
  • 水1限,
  • シラバス(準備中)

• 2014年度
  • プログラミング演習
    2014年度前期・理学部数学科・1年
    
    • 火1限＠センター1号館1602教室
    • シラバス

• 情報科指導法II
  2014年度前期・理学部数学科・3-4年
  
  • 木5限@ウェスト4号館306教室
  • シラバス

• 機能数理学概論I
  2014年度前期・大学院数理学府・MMAコース
  
  • シラバス

• 複雑システム大意
  2014年度後期・大学院数理学府
  
  • シラバス

• 数理科学特別講義VIII「イマジナリーキューブの数理」
  2014年度後期・大学院数理学府・集中講義
  立木秀樹教授(京都大学・人間環境学研究科)
  • 11月25日(火)〜11月28日(金) (予定)
  • シラバス

• 線形代数
  2014年度後期
  
  • 月3限＠センター2号館2409教室
  • シラバス
  • Handbook (サーバー https://handbook.iii.kyushu-u.ac.jp/ )

• 2013年度
  • MMA講究C
    2013年度前期・大学院数理学府・MMAコース2年
    
    • シラバス
  • Computational Mathematics 「計算数理学II」
    2013年度前期・大学院数理学府・G30コース
    
    • 月3限@小講義室2
    • シラバス
  • 数理科学特別講義V「符号理論」
    2013年度前期・大学院数理学府・集中講義
    • 5/20(月)〜5/24(金) @中セミナー室7
      初回の開始時間は14:50
    • シラバス
  • 情報処理演習III
    2013年度後期・理学部数学科・1年 (S1-4)
    
    • 月4限＠センター1号館1403教室
    • シラバス
  • 線形代数入門
    2013年度後期・農学部・1年 (S1-37)
    
    • 金4限＠センター2号館2202教室
    • シラバス
    • 配布資料
• 2012年度
  • 情報科指導法II
    2012年度前期・理学部数学科・3-4年
    
    • 木5限@ウェスト4号館306教室
    • シラバス
  • 線形代数入門
    2012年度後期・農学部・1年 (S1-37)
    
    • 金4限＠センター2号館2202教室
    • シラバス
    • 九州大学Web学習システム(ID:GE12060)へ自分で登録して下さい.
      
      
  • MMA講究D
    2012年度後期・大学院数理学府・MMAコース
    
    • シラバス
    • 参考: 計算論とオートマトン (電子情報通信学会知識ベース)
    • 参考: Category theory (haskell.org)
• 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 (九州大学理学部数学科で契約しているソフトウェアについて)
• ELMS(new)
• 九州大学情報統括本部ソフトウェア事業部 (九州大学で契約しているソフトウェアについて)
• メール
  • 九大数理 (携帯, 予備Mail)
  • Plala
  • Gmail
  • Windows Live
  • BB Comunicator
  • Mobile Me
  • Proself

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