 
|
はてなキーワード: KBとは
第1章 新しいプログラミング・パラダイムをめぐって (井田哲雄) 1.1 はじめに 1.2 プログラミング・パラダイムの形成 1.3 プログラミング・パラダイムの展開 1.4 パラダイムと作法と構造化プログラミング 1.5 構造化プログラミングを超えて 1.6 関数型プログラミング，論理型プログラミング，対象指向プログラミング 1.7 新しいプログラミング・パラダイム 1.8 まとめ 第2章 ラムダ計算と高階プログラミング (横内寛文) 2.1 はじめに 2.2 ラムダ計算 2.3 最左戦略 2.4 コンビネータによる計算 2.5 まとめ 第3章 マルセイユProlog，Prolog Ⅱ，Prolog Ⅲ 3.1 はじめに 3.2 準備 3.2.1 述語 3.2.2 項 3.2.3 項の単一化 3.2.4 節およびHorn節 3.2.5 論理式の意味 3.2.6 論理的帰結と導出 3.3 マルセイユProlog 3.3.1 Prologの記法 3.3.2 Prologの計算規則 3.3.3 Prologプログラムの例 3.3.4 カット・オペレータ 3.3.5 DEC-10 Prologとの相違 3.4 Prolog Ⅱ 3.4.1 difオペレータ 3.4.2 freeze 3.4.3 ループ構造 3.4.4 Prolog Ⅱのインプリメンテーション 3.5 Prolog Ⅲ 3.5.1 制約の枠組 3.5.2 Prolog Ⅲのプログラム例 3.5.3 束縛の領域と制約系 3.5.4 Prolog Ⅲのインプリメンテーション 3.6 まとめ 第4章 制約論理型プログラム (相場 亮) 4.1 はじめに 4.2 制約プログラミング 4.3 制約の分類 4.4 プログラムの実行 4.5 制約の評価 4.6 まとめ 第5章 オブジェクト指向 (柴山悦哉) 5.1 はじめに 5.2 モジュラリティと抽象化 5.2.1 抽象化 5.2.2 手続き抽象 5.2.3 データ抽象 5.2.4 オブジェクトによる抽象化 5.2.5 並列オブジェクトによる抽象化 5.3 共有 5.3.1 多相型 5.3.2 継承 5.3.3 多重継承 5.3.4 Self 5.3.5 動的束縛の意義 5.4 対話性 5.4.1 クラスの再定義 5.4.2 表示機能の一体化 5.5 オブジェクト指向の弱点 5.6 まとめ 第6章 型推論とML (横田一正) 6.1 はじめに 6.2 LCFの超言語からMLへ 6.3 プログラミング言語と型 6.4 MLの表現と型宣言 6.5 MLの型推論 6.6 LCFへの応用 6.7 まとめ 第7章 Miranda (加藤和彦) 7.1 はじめに 7.2 Mirandaの概観 7.2.1 等式による定義 7.2.2 基本データ型と基本演算子 7.2.3 ガード付き等式とスコープ・ルール 7.2.4 高階関数とカリー化 7.2.5 パターン・マッチング 7.2.6 ノンストリクト性と遅延評価 7.2.7 ドット式とZF式 7.3 型 7.3.1 強い型付けと静的な型付け 7.3.2 多相型 7.3.3 型類義 7.3.4 代数データ型 7.3.5 抽象データ型 7.4 処理系 7.5 まとめ 7.6 文献の紹介 第8章 項書換えシステムと完備化手続き (大須賀昭彦) 8.1 はじめに 8.2 項書換えシステム 8.3 TRSの停止性 8.3.1 意味順序 8.3.2 構文順序 8.4 TRSの合流性 8.4.1 完備なTRS 8.4.2 危険対 8.4.3 危険対を用いたTRSの合流性判定 8.5 Knuth-Bendixの完備化手続き 8.6 KBの応用 8.6.1 帰納的な定理証明への応用 8.6.2 等号論理の定理証明への応用 8.7 まとめ 第9章 等式プログラミングから融合型プログラミングへ (富樫 敦) 9.1 はじめに 9.2 等式プログラミング 9.2.1 等式プログラム 9.2.2 代表的な等式プログラム 9.2.3 プログラミング技法 9.2.4 正則プログラムと正規化戦略 9.3 条件付き等式プログラム 9.3.1 条件付き書換え規則 9.3.2 条件の種類 9.3.3 利点と問題点 9.4 融合型プログラミング 9.4.1 AMLOGシステム 9.4.2 向付き等式 9.4.3 実行戦略の変更 9.4.4 代入操作 9.4.5 合流するプログラムへの変換 9.5 まとめ
http://anond.hatelabo.jp/20100320151058
不安と苛立ばかりが募る。慣れるまでは、ずっとこんな感じなんだろう。辛いようであり、逆に愉快でもある。先刻、協力者と電話口で話をした。近々、会って話をすることになった。さて、どうなることか。
何故書くのかと問われれば、返答に窮する。こんなこと書いて、何の得があるのかと。心を刺激するばかりで、無駄に消耗するだけではないのかと。心の虚空から、答えは聞こえない。
※これはフィクションです。これはフィクションではありません※
自分は、言わば魔術師の端くれ、だ。ビジネスとプライベートの両方で、無形の魔法も、固形の魔法も扱ってる。時にトン単位の重い魔法を、時に数KB単位の儚い魔法を、なんでも、扱えるものは何でも扱ってる。平日はただの労働者として、休日はただの愛好家として。
協力者（小悪党）の考えは聞かなくても分かる。「あんた錬金術師でしょ。これを金に替えて一緒に儲けようぜ？」と。このド素人が、と心で毒づく。初歩的な錬金術は使えるけど、原材料は選ぶんだぜ？ 素人は石ころなら何でもいいと思ってるだろうが、そんなワケあるか。
だが、石ころ集めも楽じゃない。労力の問題だけでなく、金（かね）の問題だけでなく、仕入れルートの確立が問題なのだ。自分は、仕事を教え込まれた先輩から仕入れの大切さを、何度も教えられた。実体験としても、品を集めることの重要性は知ってるつもりだ。
会社を通せば評価が辛（から）くなる。ゴミはゴミだと言う他ない。だが、自分は一介の魔術愛好家でもある。産地直送とでも言おうか、自分自身で消費できる部分がある。その分、金額を上乗せるすることが出来る。暗に明に、謝礼を払うことが出来る。謝礼でおだてて、信頼関係を築き、子飼いにする。石ころを横流しさせる。
……いや、違う。そうだな、決して「会社のために」なんて美談ではない。「自分の懐のため」でもない。ただの、魔法フリークの暴走ってだけだ。仕事で触れる以上に、もっと自分のやり方で、魔法に触れていたい、多分そんだけだ。売り買いするだけ、仕入れて売りさばくだけ。そんなビジネスライクな生活に嫌気が差した、不適応者の狂行ってだけのこと。
所有欲であり、収集欲であり、廃棄欲であり、整頓欲であり、分析欲であり、作業欲であり、弑逆欲であり、自傷欲であり、名誉欲であり...色んな思惑を考慮したうえでの、愚行だ。心の半分は不安や申し訳なさで満たされながれも、残りの半分で、嘘をついた結果の喜びを感じでいる。嘘の結果、少しだけ、自分は手元に品を移した。今、手元にあるのだ。さて、目を通そうと考えるだけで、心が少し踊る。あはははは、どう仕様もなく、少し楽しいや。
id:HiromitsuTakagiが遂にWinnyネットワーク観測・閲覧ツールNyzillaをリリースする。
Nyzillaの特徴
Winny開発者である金子勇の著書では以下の様に書かれている（この文章はHiromitsuTakagiも引用している）。
しかしWinnyの場合、通信相手は不特定であり、Winnyプロトコルを使う誰もが通信相手になれます。たとえば、Winnyプロトコルを真似てWinnyノードに接続するようなプログラムの作成ができれば、接続相手のキャッシュファイルを観察することも可能です。このため、たとえどんなに強い暗号方式で通信内容を暗号化したとしても、通信相手は解読可能であり、通信内容は隠しようがありません。
要するに、Winnyネットワークに入れるソフトウェアさえ持ってれば、そこでやり取りされてる情報は筒抜けだよ、と言うことだ。
Winny自体にはない機能だが、特定のIPアドレスでどんな情報をやり取りしてるかと言う事も、全部駄々漏れなのだ。
元々駄々漏れしている情報を見える化するだけなのだから、何の問題もなかろう。
そもそも、見られて困る様な事をしている方が悪いのだ。
本当にそうか？
駄々漏れている情報なら晒して良いと言うスタンスであるならば、RFIDタグやBluetoothによる追跡のプライバシー問題を取り上げていたのは何だったのか。
だとしても、Winnyの仕様を叩けば良いのであって、特定のIPアドレスで何をやり取りしているかを晒すツールを公開する理由にはならない。
RFIDタグやBluetoothの問題を語る時に、追跡ツールを公開していないのと同じだ。
システムの問題を語る為に、個人を攻撃する凶器を放流する必要は無い。
HiromitsuTakagiの意図がどうであれ、Nyzillaが公開されれば、個人を攻撃する為に利用する輩が出てくるだろう。
必ず、出るだろう。
IPアドレスさえ判れば良いのだから簡単だ。
mixiアプリが始まって、今やmixiのアクセスだって足跡と組み合わせてIPアドレスが取得できる。
気に入らないコメントをつけた奴とか、ID知られちゃって仕方なくマイミクにした上司とか。
偉そうな事言ってるけど、Winnyでこんなファイル流してるじゃねーか、と。
攻撃の為に使う人間にとってはIPアドレスが可変だとか、IPアドレス＝ユーザじゃないとか、そんな事はどうでも良い。
むしろ、全く無関係のWinnyユーザとIPアドレスがバッティングしてくれた方が都合が良い位だ。
「貴方の家の息子さんが著作権侵害を行っている証拠です」とか言われて往生する人も出て来るだろう。
或いは、悪意を持った攻撃者でなくても、単純な好奇心で知人のIPアドレスの利用状況を見てみる人だって居るだろう。
そこで運悪くIPアドレスのバッティングが起きたらどうするのか。
知識のある専門家がその技術を使うのと、知識のない素人が技術だけ使えてしまうのとでは、引き起こされる結果は全く違うものになるだろう。
ソフトウェアは一度公開されてしまえば、もう止められない。
HiromitsuTakagiの意図がどうかなど知らない。
だが、Nyzillaの公開は今までのセキュリティ・プライバシー問題に対する言動とは明らかに次元が異なる。
その行動は「Winnyで違法行為やってる様な奴は叩いて良い」と言う倫理観に基づいている様に見える。
個人的には「Winnyで違法行為やってる様な奴なんかどうなろうが知らん」が、そんな攻撃に巻き込まれるのはお断りだ。
真っ平ごめんだ。
Nyzillaの公開は12/23だと言う。
これだけは言っておく。
最初に「魔女が居るぞ」と叫んで火を放ったのはid:HiromitsuTakagi、君だ。
今後何が起ころうと、Nyzilla公開によって起きる全ての責任はid:HiromitsuTakagi、君にある。
さて、増田諸氏よ。貴方達はどうする？
火を手に掲げて、魔女を探しに行くのか
降りかかる火の粉を恐れ、謂れのない糾弾に慄くのか
どちらでも好きにすれば良い。
今朝、ニュースサイトを見ていたらこんな記事があった。
http://sankei.jp.msn.com/economy/business/081128/biz0811280205003-n1.htm
ソフトバンクＢＢ（東京都港区）は、インターネットに接続するＡＤＳＬサービス「ヤフーＢＢ」に、
月額料金が通信量に応じて最低で９７３円、最大で４９５３円となる新料金プランを１２月１日から導入する。
最大で約5000円近くするのなら、地域によっては光ファイバーを利用したが安いかもしれない。
某電力会社の100Mbps（＝毎秒100メガ）コースは月4,900円なので。
新サービスは「ヤフーＢＢ ホワイトプラン」。月額基本料金が９８０円。
ソフトバンクモバイルユーザーであれば973円からとかなり安価ではあるが、非ソフトバンクモバイルユーザーとなると1,953円からとなる。
某有名ADSL事業者が提供しているサービスでは12Mbpsでどんなに使っても、モデムレンタルや回線使用料を含めて1,480円で済むし、
もう一つの有名ADSL事業者も12Mbpsで2,000円程度で済むところを踏まえれば割高感を感じざるを得ない。
しかしこの2つの某有名ADSL事業者はヤフーより利用できるエリアがかなり狭いので、この問題は都心エリアのみといったところだろうか。
と、ここに最大の落とし穴がある
この料金で、「ヤフーのトップページを１００回閲覧できる程度」という月５０メガバイトまでは、使い放題となる。
その後は１メガバイトごとに２０円ずつ課金され、携帯に加入していない利用者の場合で、最大４９５３円を超えた分は無料となる。
50MBまでは使い放題。
MP3の128kbps、約5分の音楽データを10曲分ダウンロードしてしまえば50MBに達する。
ためしにmsn産経ニュースを10分間閲覧しただけで3MBの転送量が生じた（※記事や写真、広告などによって常に転送量に変化が生じます）
画像もx百KB（0.xMB)の画像を用いているサイトもある上、映像を用いた広告なども出てきている。
その中で月50MBまでは使い放題というのは酷なのではないか。
ソフトバンクモバイルユーザー or 田舎在住で滅多にパソコンでネットをやらない人でないとあまり意味がないような気がする。
とするには50MBじゃなくて500MBまでは無料とか、制約を緩和したほうがいいんじゃないかって思ったり。
----
追記
gem install sinatra
sudo gem install sinatra
Lightweight Webservices with Sinatra and RestClient - SlideShare
Slide 17:
A commitment to small
Rails 87,990
Merb-core 12,417
Ramaze 11,796
Camping 1,704
Sinatra 1,576
lib/sinatra.rb at master from bmizerany's sinatra — GitHub
sinatra.rb
1471 lines (1282 sloc) 45.402 kb
そろそろ次世代携帯機に向けてこの予想が必要だと思う。
DS2は各半導体メーカー各社からの引き合いが物凄くなることが予想されるから
最先端の半導体を非常に低コストで調達することができると思う。
よって任天堂及びユーザー、そして開発者は思いもよらぬ高性能を得られることでしょう。
一方PSP2は、半導体の調達コストをケチってでもOLED(有機EL)に全力を入れて搭載すると思う。
よってDS2より1年遅れになり、スペックもDS2に見劣りすることになるだろう。
VRAM 656 KB
その他 IEEE 802.11、タッチスクリーン、マイク、DSカードスロット、GBAROMスロット
CPU 1GHz
ディスプレイ 4.5インチワイド *2枚 720 *480 *2
その他 IEEE 802.11n、マルチタッチスクリーン、マイク、NAND FLASH 8GB、DSカードスロット、SDカードスロット、CMOSカメラ、GCエミュ、Wiiエミュ、VC全対応
VRAM 4 MB (eDRAM)
その他 IEEE 802.11b、USB2.0 mini-B、メモリースティック PRO Duoスロット、UMD
VRAM 8 MB (eDRAM)
ディスプレイ 4.5インチ 720*480 *1 (OLED)
その他 IEEE 802.11n、USB2.0 mini-B、メモリースティック PRO Duoスロット、SDHCカードスロット、CMOSカメラ
自分でもはっとするくらい当たってる所があって驚いた。
勘がすぐれてたこの頃に戻りたい・・・。年をとるとだめだな。