ドコモは、Prologで動いている＼(^O^)／: ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- 6月に、九大(九州大学)に講義に行ったとき、中洲産業大学で厳粛に執り行われた 馬刺し教授会で、ここでもたびたび言及している 「最近、関数型言語が現場でもやっと使われ始め、でも、Prologのような論理 型言語を知らない学生や技術者がいて、おれらの学生時代(今から30年から35 年前)、Lispのような関数
フォーマルメソッド(形式仕様記述、Formal Methods)の教科書: ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- http://iiyu.asablo.jp/blog/2010/07/29/5254538 高品質高信頼ソフトウェア開発の特別セミナー http://iiyu.asablo.jp/blog/2010/07/29/5254545 VDM++によるオブジェクト指向システムの高品質設計と検証 で書いた続き。 フ
形式仕様記述(フォーマルメソッド、Formal Methods): ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- 2006/08/06の「純粋関数型言語Concurrent Clean」のときに、 「この前、九大に教えに行ったとき、Formal Methodsの我が国の第一人者であ る荒木啓二郎先生から直接お話を聞いて、仕入れてきました。それは、次の機 会に。」 と書いたけど、怠けと忙しさと体調不良で遅れ
へんな数式美術館その２: ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- http://iiyu.asablo.jp/blog/2008/08/07/3676785 へんな数式美術館 の続き。 http://www.amazon.co.jp/exec/obidos/ASIN/4774135569/showshotcorne-22/ へんな数式美術館 ~世界を表すミョ
へんな数式美術館: ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- http://iiyu.asablo.jp/blog/2008/08/04/3672178 Googleの入社試験 で書いたように、Googleの入社試験本を出していると思ったら、竹内さん、こ んな本も出している。しかも、出版社は我々の業界の技評(技術評論社)。 http://www.amaz
ますます本格的に「チンチン出したまま！」＼(^O^)／: ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 ASAHIネット(http://www.asahi-net.or.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- http://iiyu.asablo.jp/blog/2010/01/04/4795054 いよいよ本格的に「チンチン出したまま！」＼(^O^)／ の続き。 オランダ、イギリスに続き、カナダも「チンチン出したまま！」になります ね。＼(^O^)／ http://www.jiji.com/jc
CSRFによる冤罪、誤認逮捕か。大阪市ウェブに大量殺人予告での逮捕の件: ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- 橋下徹市長の大阪市のウェブで「大量殺人をする」と投稿したという容疑で、 アニメ演出家が逮捕された件。 たとえば、 http://mainichi.jp/select/news/20120827k0000m040038000c.html 殺人予告:大阪市ＨＰに書き込んだ疑いで４２歳演出家逮捕 http://
Arduinoとサーボモーターで始める電子工作入門、CMUのcokeマシン、美女Linux: ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- 日経Linuxに、こんな記事がありました。 http://itpro.nikkeibp.co.jp/article/COLUMN/20120425/393446/ Linuxとマイコンボードで毎朝美味しいコーヒーを Arduinoとサーボモーターで始める電子工作入門 2012/04/27 高橋 秀和＝日経
「集合知イン・アクション」その２、データマイニング、Weka: ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- http://iiyu.asablo.jp/blog/2009/04/03/4222406 Satnam Alag著、堀内孝彦ほか訳「集合知イン・アクション」 http://iiyu.asablo.jp/blog/2009/04/05/4228524 言語と計算［全5巻］ で名前を出した ht
山本弘著「“環境問題のウソ”のウソ」: ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- http://iiyu.asablo.jp/blog/2007/08/20/1738477 武田邦彦著「環境問題はなぜウソがまかり通るのか」 で、紹介した http://www.amazon.co.jp/exec/obidos/ASIN/4862481221/showshotcorne-22/
The LLVM Compiler Infrastructure: ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- http://journal.mycom.co.jp/news/2007/10/01/007/ LeopardのOpenGL機能を支えるコンパイラコレクション「LLVM 2.1」がリリー ス で、初めて知ったが、 http://llvm.org/ The LLVM Compiler Infra
ミクシィの闇: ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- 最近のネット界の裏物で、暇つぶしにちょっと買ってみたのは、 http://www.amazon.co.jp/exec/obidos/ASIN/4862481094/showshotcorne-22/ref=nosim 夏原武著「危ないミクシィ―大流行!SNSの闇」 ＸＸＸバーガー事件とか、なん
Vistaの欠点を暴く: ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- 各社がVista対応モデルを発表していて、MSも盛り上げようと必死ですが、 なかなかどうして出来の悪さはどうしようもないから、いろいろいわれるもん ですね。 http://itpro.nikkeibp.co.jp/article/COLUMN/20060510/237373/ 現時点で判明した
朝日のWeb 2.0記事と西垣通の著作: ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- 朝日新聞2006/07/28朝刊のオピニオン欄に、西垣通氏と梅田望夫氏の意見を 併記しつつ、服部桂記者がまとめたWeb 2.0論が載った。 梅田望夫氏は、相変わらずのWeb 2.0のマーケ屋(マーケティング屋)、営業 屋ぶり。 梅田氏の最後の言葉が、 「100年後に現在の動きを見たら、ウェブ2
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
