Scan by Mark Harden (The Artchive)
 メインメニュー

Mizarプロジェクト関係トップ
.CS on Moodle(仮運用中)

インターネット大学院(SUGSI)
インターネット大学(SUSI)
WebAntenna (secured)
はてなon-line RSS reader
現代GP情報公開ポータル

 ホーム
 ニュース
   ニュース投稿
   アーカイブ
 フォーラム
 ダウンロード
   登録する
   人気ダウンロード
   高評価ダウンロード
 アンケート
 リンク集
   登録する
   人気リンク
   高評価リンク
 登録ユーザ一覧
 インコンテンツ
 お問い合わせ

ようこそ sw-lab on XOOPS へ!
このサイトは、信州大学工学部情報工学科の師玉研究室が運営する、セミナーポータルサイトです。XOOPSを用いて構築しています。 XOOPSは、登録された皆さんが各セミナーにおいて新たなフォーラムスレッド(議論)を立てたり、個々人の定期報告を行ったり、あるいは参考文献のリンク集を充実させることで、成長していくサイトです。 Wikiを用いてメモをとることも可能です。
※信州大学正規生の方は、必ず学籍番号を"ユーザID"として新規登録してください。学外の方は、ID発行サービスで生成されたCAI受講IDを使って登録いただくと便利です。なお、荒らし対策のため、全てのフォーラムの書き込みにはユーザIDが必要となりました (2008/03/01)
本日のトップニュースはありません


フォーラムでの最近の話題
フォーラムスレッド返信数閲覧数最終投稿日時
(2) IT技術演習(PICNIC)課題0につきまして022010-3-11 15:10
(2) IT技術演習(PICNIC)質問です。(リモートI/O制御画面が表示できません。)4292009-7-30 19:38
(6) Protocol Verification by using LOTOS and ToolsMac(intel)上でのCADPのインストール4312009-6-10 13:46
(7) 構文解析とコンパイラ構文解釈とコンパイラ1102009-4-30 20:53
(2) IT技術演習(PICNIC)PICNICの動作確認で応答がありません。3182009-4-27 9:49
(2) IT技術演習(PICNIC)v12.hexについて1142009-3-5 17:09
(2) IT技術演習(PICNIC)HTTPへの組込の原理?1102009-2-23 17:05
(1) Mizarによる証明記述法Mizar Proof Checker update131292008-12-24 11:04
(1) 師玉研 sw-lab 掲示板Fwd: 停電にともなうサーバ接続一時停止について(8/23 6:00--19:00)042008-8-11 17:09
(2) IT技術演習(PICNIC)周辺拡張キッド4192008-6-24 16:56
(2) IT技術演習(PICNIC)PICNIC(Ver2.0)のLCDとりつけについて4122008-6-23 11:31
(5) Perl言語&CGI演習httpd.confのバックアップ先について1142008-6-20 13:05
(1) 師玉研 sw-lab 掲示板The 2008 Technical Symposium and GeneralAssembly of Mizar Japan042008-5-27 10:35
(2) IT技術演習(PICNIC)RB7を Hight にしてもリレーが作動しない。12992008-5-7 23:24
(2) IT技術演習(PICNIC)PICライタ書き込みエラー(コードプロテクト)について3402008-5-7 23:20
»» フォーラムへ




 
 信州大学 : 2010年3月修了予定生の公聴会日程について
投稿者 admin 投稿日時 2010-1-29 16:18:17 (61 ヒット)

信州大学標記の件につきまして、学科HPへ掲示がされておりますので、
各位参照、ご参集ください。

http://www.cs.shinshu-u.ac.jp/hearing/index.html

 コメントする

 信州大学 : 2009年3月修了予定生の公聴会日程について
投稿者 wasaki 投稿日時 2008-12-24 11:06:36 (366 ヒット)

信州大学標記の件につきまして、BBSへ掲示がされておりますので、
各位参照、ご参集ください。

http://cai.cs.shinshu-u.ac.jp/cgi-bin/bbs/InfoToStd/mqbbs.cgi?&MODE=MSG&NUM=407

http://www.sw-lab.com/pukiwiki/index.php?SUGS%2FDefense2009.2.6#content_1_1
 コメントする

 信州大学 : Fwd: 工学部情報工学科の中村八束教授が学術顕彰メダルを受賞 (2008年11月28日)
投稿者 wasaki 投稿日時 2008-11-29 11:10:41 (251 ヒット)

信州大学工学部情報工学科の中村八束教授が学術顕彰メダルを受賞 (2008年11月28日)

工学部情報工学科中村八束教授が、「ビアリストーク大学2008年優秀研究者章」を受賞し、10月3日に授賞式が行われました。ビアリストーク大学は旧ワルシャワ大学ビアリストーク分校であり、この賞は、同大学がその年に活躍した最も優秀な研究者と認める者に授与されるものです。

 中村教授は,ジョルダン閉曲線定理の完全形式化証明などで知られ、形式化数学と計算機を用いた厳密な証明記述・検証とそのシステム構築を行っているポーランド・カナダ・日本の国際共同プロジェクト(Mizarプロジェクト)の日本代表を務め、このプロジェクトに多大の貢献をしてきました。今回の授賞はその貢献が評価されたものです。
 コメントする

 sw-lab : 定期報告用フォーラムの構成を平成20年度後期分へ更新しました
投稿者 wasaki 投稿日時 2008-10-24 11:01:30 (352 ヒット)

sw-labsw-lab定期報告用フォーラムの構成を平成20年度後期分へ更新しました。登録ユーザのみアクセス可能です。
http://www.sw-lab.com/xoops/modules/newbb/
 コメントする

 sw-lab : 一部のサイト画面の表示に障害が起きていました→復旧
投稿者 wasaki 投稿日時 2008-3-1 10:42:37 (490 ヒット)

sw-labsw-lab on XOOPSサイトですが、一部のサイト画面の表示に障害が起きていましたが、昨日から復旧しています。一部のメニューが非表示になっていますが、ご了承ください。なお、登録ユーザ情報の整理を行いましたが、万一ログインできなくなっている場合には管理人(wasaki _at_ int-univ.com)までご連絡ください。

 コメントする

 ログイン

ユーザ名

パスワード

パスワード紛失

まだ未登録の方は
新規登録

 検索

 最新ニュース記事
  · 2010年3月修了予定生の公聴会日程について (2010-1-29)
  · 2009年3月修了予定生の公聴会日程について (2008-12-24)
  · Fwd: 工学部情報工学科の中村八束教授が学術顕彰メダルを受賞 (2008年11月28日) (2008-11-29)
  · 定期報告用フォーラムの構成を平成20年度後期分へ更新しました (2008-10-24)
  · 一部のサイト画面の表示に障害が起きていました→復旧 (2008-3-1)

 最新ダウンロード
  · Latest Mizar releases (2010-1-5)
  · Mozilla Thunderbird (2008-10-24)
  · Moodle (2008-10-24)
  · Mozilla Firefox (2008-10-24)
  · NetCommons(Nii) (2008-10-24)
  · CPN Tools (2007-10-11)
  · CPN-AMI (2007-10-11)
  · NuSMV2 (2007-10-11)
  · ISO/IEC 15909-1:2004 (2005-7-2)
  · MPI : メッセージ通信インターフェース標準(日本語訳ドラフト) (2005-2-14)

 新着リンク
  · バリアフリープレゼンテーション法 (2007-4-9)
  · Mizar Links (2007-4-2)
  · Mizarプロジェクト関係トップ (2007-2-19)
  · 論文の構成 (2006-11-30)
  · 科学技術論文の書き方(早稲田大学・岡田先生) (2006-11-30)
  · One Red PaperClip (2006-8-9)
  · sw-lab : 師玉研 (2006-7-16)
  · ESM2006 (2006-4-17)
  · FMCAD 2006 (2006-4-17)
  · HyLo 2006 (2006-4-17)

XOOPS Official Website
(c)2008 Shidama Laboratory, All Copyrights reserved.
webmaster of this site
Powered by XOOPS 1.3.10 © 2002 The XOOPS Project