Web拍手：
knoike / Kenzi NOIKE
あの料金設定で殺到するかなぁ？ QT 来場者の殺到困る…スカイツリー、平日に開業 : 社会 : YOMIURI ONLINE（読売新聞） http://www.yomiuri.co.jp/national/news/20110608-OYT1T00074.htm?from=tw at 06/08 21:34
あの料金設定で殺到するかなぁ？ QT 来場者の殺到困る…スカイツリー、平日に開業 : 社会 : YOMIURI ONLINE（読売新聞） http://www.yomiuri.co.jp/national/news/20110608-OYT1T00074.htm?from=tw at 06/08 21:34
knoike / Kenzi NOIKE
「粋」なんかじゃなくて，利用されたんだよ． QT ミッフィー著作権粋な和解…訴訟より復興へ寄付 : マネー・経済 : YOMIURI ONLINE（読売新聞） http://j.mp/iz3kaL at 06/08 21:33
「粋」なんかじゃなくて，利用されたんだよ． QT ミッフィー著作権粋な和解…訴訟より復興へ寄付 : マネー・経済 : YOMIURI ONLINE（読売新聞） http://j.mp/iz3kaL at 06/08 21:33
knoike / Kenzi NOIKE
おぉぉ！ｗ RT @konachu572: あああああ！（ドM的に興味が！） RT @HYamaguchi: 「この人にブロックされている人はこんな人にもブロックされています」 at 06/08 13:12
おぉぉ！ｗ RT @konachu572: あああああ！（ドM的に興味が！） RT @HYamaguchi: 「この人にブロックされている人はこんな人にもブロックされています」 at 06/08 13:12
knoike / Kenzi NOIKE
今年は，なんか，多いよねぇ．RT @konachu572: くそう……小バエが室内で増殖してて死にたい。薬局であのアレ（名前失念）を買ってこなくちゃ。 at 06/08 13:10
今年は，なんか，多いよねぇ．RT @konachu572: くそう……小バエが室内で増殖してて死にたい。薬局であのアレ（名前失念）を買ってこなくちゃ。 at 06/08 13:10
knoike / Kenzi NOIKE
たこルカ様の仰せのとおりにー，という感じですね．RT @hidesuke_nico: 並べてみた
http://twitpic.com/58inhd at 06/08 12:48
たこルカ様の仰せのとおりにー，という感じですね．RT @hidesuke_nico: 並べてみた
http://twitpic.com/58inhd at 06/08 12:48
knoike / Kenzi NOIKE
QT @knoike：右手からピザ…左手からルーラ…合体魔法ピザーラ！！効果：一度行った町や村にホットなピザをお届けする！ http://t.co/quNsABn #migitekara at 06/08 12:31
QT @knoike：右手からピザ…左手からルーラ…合体魔法ピザーラ！！効果：一度行った町や村にホットなピザをお届けする！ http://t.co/quNsABn #migitekara at 06/08 12:31
knoike / Kenzi NOIKE
@TakaoOzaki ?- writef('A%4r',[34]). A 34 ということのようです．right のrですね．http://j.mp/mS860e at 06/08 10:40
@TakaoOzaki ?- writef('A%4r',[34]). A 34 ということのようです．right のrですね．http://j.mp/mS860e at 06/08 10:40
knoike / Kenzi NOIKE
なんかいろいろと入りそうで，ちょっとイヤだなぁ．Linux 版にしよう． RT @knoike: 振る舞いが違うとイヤだから，Windows 版を落としていれてみよう． RT @knoike: yum で，ppl-swiprolog というのがインストールできるっぽい．あとでいれ at 06/08 10:22
なんかいろいろと入りそうで，ちょっとイヤだなぁ．Linux 版にしよう． RT @knoike: 振る舞いが違うとイヤだから，Windows 版を落としていれてみよう． RT @knoike: yum で，ppl-swiprolog というのがインストールできるっぽい．あとでいれ at 06/08 10:22
knoike / Kenzi NOIKE
振る舞いが違うとイヤだから，Windows 版を落としていれてみよう． RT @knoike: yum で，ppl-swiprolog というのがインストールできるっぽい．あとでいれてみよう． at 06/08 10:19
振る舞いが違うとイヤだから，Windows 版を落としていれてみよう． RT @knoike: yum で，ppl-swiprolog というのがインストールできるっぽい．あとでいれてみよう． at 06/08 10:19
knoike / Kenzi NOIKE
自分の活動範囲ではまったく変化がないので(^^;)，そろそろ戻ろう． RT @knoike: メールも読めるし，Webも見れるし，noike.info に外からアクセスできるし，いまのところ何も変わってないなー．RT @knoike: あと30分くらいですなー． at 06/08 10:10
自分の活動範囲ではまったく変化がないので(^^;)，そろそろ戻ろう． RT @knoike: メールも読めるし，Webも見れるし，noike.info に外からアクセスできるし，いまのところ何も変わってないなー．RT @knoike: あと30分くらいですなー． at 06/08 10:10
knoike / Kenzi NOIKE
チャーリー・ルートから毎日メールをもらえます． RT @naobsd: BSDが使えると何かいいことがあるのか等々妻に質問されるなど at 06/08 10:08
チャーリー・ルートから毎日メールをもらえます． RT @naobsd: BSDが使えると何かいいことがあるのか等々妻に質問されるなど at 06/08 10:08
knoike / Kenzi NOIKE
ペンギンよりもデーモンくんのほうが愛おしくなります． RT @naobsd: BSDが使えると何かいいことがあるのか等々妻に質問されるなど at 06/08 10:07
ペンギンよりもデーモンくんのほうが愛おしくなります． RT @naobsd: BSDが使えると何かいいことがあるのか等々妻に質問されるなど at 06/08 10:07
knoike / Kenzi NOIKE
@Nikoriks @TakaoOzaki char_conversion で対処できる問題とは違う問題のような気がしています．実験結果待ちですね．急いでいませんので，ご自分のペースでぜひ試行してみてください． ＞ @TakaoOzaki at 06/08 10:05
@Nikoriks @TakaoOzaki char_conversion で対処できる問題とは違う問題のような気がしています．実験結果待ちですね．急いでいませんので，ご自分のペースでぜひ試行してみてください． ＞ @TakaoOzaki at 06/08 10:05
knoike / Kenzi NOIKE
「積み木の世界」みたいな話を，2011年にもなってするとは思わなかったよー(^^;)．Prologを推す人の中で，現実味のある解決したい課題を持っている人って，みかけないなぁ． at 06/08 09:50
「積み木の世界」みたいな話を，2011年にもなってするとは思わなかったよー(^^;)．Prologを推す人の中で，現実味のある解決したい課題を持っている人って，みかけないなぁ． at 06/08 09:50
knoike / Kenzi NOIKE
@TakaoOzaki Prologの得手不得手議論よりも，シングルクォートの話（文字エンコード）や，整数の桁揃え右詰表示はどうなりました？ どうもあなたは自分の意に介さないことは，一切を捨て去りますね．前にも言いましたが，横柄さを感じます．協力者や助言者がいなくなりますよ？ at 06/08 09:45
@TakaoOzaki Prologの得手不得手議論よりも，シングルクォートの話（文字エンコード）や，整数の桁揃え右詰表示はどうなりました？ どうもあなたは自分の意に介さないことは，一切を捨て去りますね．前にも言いましたが，横柄さを感じます．協力者や助言者がいなくなりますよ？ at 06/08 09:45
knoike / Kenzi NOIKE
@TakaoOzaki すみません，話の腰を折ります．私はPrologのよいところも悪いところも知っています．その上で，Prologなら解決しやすい「現実的な課題」が見当たらないので，特段にはPrologを推せない，という立場です． at 06/08 09:41
@TakaoOzaki すみません，話の腰を折ります．私はPrologのよいところも悪いところも知っています．その上で，Prologなら解決しやすい「現実的な課題」が見当たらないので，特段にはPrologを推せない，という立場です． at 06/08 09:41
knoike / Kenzi NOIKE
@TakaoOzaki 「必要に応じて随時分解できる」のはPrologのよいところですね．でも，それが生きる場面が，解決したい課題としてありそうですか？ とにもかくにも宣言的に書いてしまえばいいという点でInitial cost が低いのはわかります． at 06/08 09:36
@TakaoOzaki 「必要に応じて随時分解できる」のはPrologのよいところですね．でも，それが生きる場面が，解決したい課題としてありそうですか？ とにもかくにも宣言的に書いてしまえばいいという点でInitial cost が低いのはわかります． at 06/08 09:36
knoike / Kenzi NOIKE
関係ないと思いますよー．ウチはいつもどおりの速さで起動しました．RT @ganryang: Excelの起動が遅いの、関係ありますかね。 RT @knoike: メールも読めるし，Webも見れるし，noike.info に外からアクセスできるし，いまのところ何も変わってないなー at 06/08 09:11
関係ないと思いますよー．ウチはいつもどおりの速さで起動しました．RT @ganryang: Excelの起動が遅いの、関係ありますかね。 RT @knoike: メールも読めるし，Webも見れるし，noike.info に外からアクセスできるし，いまのところ何も変わってないなー at 06/08 09:11
knoike / Kenzi NOIKE
メールも読めるし，Webも見れるし，noike.info に外からアクセスできるし，いまのところ何も変わってないなー．RT @knoike: あと30分くらいですなー． RT @knoike: あと 1.5時間くらいですなー．RT @knoike: 『今日は，「World IPv at 06/08 09:07
メールも読めるし，Webも見れるし，noike.info に外からアクセスできるし，いまのところ何も変わってないなー．RT @knoike: あと30分くらいですなー． RT @knoike: あと 1.5時間くらいですなー．RT @knoike: 『今日は，「World IPv at 06/08 09:07
knoike / Kenzi NOIKE
@TakaoOzaki それをPrologで書こうとすると少しのコツとノウハウが要りますよね？ ということは他の言語でも少しのコツとノウハウで書けるようになります．私の経験上，「次々と〜」系の課題は，Prologよりも，むしろループ構造を書きやすい言語のほうがさらっと書けます． at 06/08 08:32
@TakaoOzaki それをPrologで書こうとすると少しのコツとノウハウが要りますよね？ ということは他の言語でも少しのコツとノウハウで書けるようになります．私の経験上，「次々と〜」系の課題は，Prologよりも，むしろループ構造を書きやすい言語のほうがさらっと書けます． at 06/08 08:32
knoike / Kenzi NOIKE
あと30分くらいですなー． RT @knoike: あと 1.5時間くらいですなー．RT @knoike: 『今日は，「World IPv6 Day」．日本の場合は，9時から 24時間．』とりコー｜http://bit.ly/lYAUH7 at 06/08 08:23
あと30分くらいですなー． RT @knoike: あと 1.5時間くらいですなー．RT @knoike: 『今日は，「World IPv6 Day」．日本の場合は，9時から 24時間．』とりコー｜http://bit.ly/lYAUH7 at 06/08 08:23
knoike / Kenzi NOIKE
@TakaoOzaki 述語定義と区切り文字の問題は，おそらくエンコードをUTF8にすれば通りますので，あとでお試しください．シングルクォートで述語名を囲むのは，私のProlog観からしたらナシです．そうするくらいなら，述語名を変えます． at 06/08 08:14
@TakaoOzaki 述語定義と区切り文字の問題は，おそらくエンコードをUTF8にすれば通りますので，あとでお試しください．シングルクォートで述語名を囲むのは，私のProlog観からしたらナシです．そうするくらいなら，述語名を変えます． at 06/08 08:14
knoike / Kenzi NOIKE
@TakaoOzaki 私の個人的な経験上，Prologで素直に書ける命題論理（１階の述語論理でもかまいません）は，お話の規模が小さいときくらいだと感じています．また，世の人が抱える解決したい課題は，命題論理で書けない（書きづらい）問題のほうが多い気がしています． at 06/08 08:09
@TakaoOzaki 私の個人的な経験上，Prologで素直に書ける命題論理（１階の述語論理でもかまいません）は，お話の規模が小さいときくらいだと感じています．また，世の人が抱える解決したい課題は，命題論理で書けない（書きづらい）問題のほうが多い気がしています． at 06/08 08:09
knoike / Kenzi NOIKE
@TakaoOzaki 20年前であればそれでよいのですが，いまとなってはそれだと他の言語やツールのほうが有利なので，Prologは魅力がないです．「バックトラック機構をデフォルトで持っている言語」という点以外にPrologの優位点はいまとなってはないと私は考えています． at 06/08 07:54
@TakaoOzaki 20年前であればそれでよいのですが，いまとなってはそれだと他の言語やツールのほうが有利なので，Prologは魅力がないです．「バックトラック機構をデフォルトで持っている言語」という点以外にPrologの優位点はいまとなってはないと私は考えています． at 06/08 07:54
knoike / Kenzi NOIKE
@TakaoOzaki 純Prologの範疇外との情報をありがとうございました．findallは，MATLABのようなベクトル演算言語に同じ名前の組込み関数があるので，それにならった名づけのような気もします． at 06/08 07:50
@TakaoOzaki 純Prologの範疇外との情報をありがとうございました．findallは，MATLABのようなベクトル演算言語に同じ名前の組込み関数があるので，それにならった名づけのような気もします． at 06/08 07:50
knoike / Kenzi NOIKE
あと 1.5時間くらいですなー．RT @knoike: 『今日は，「World IPv6 Day」．日本の場合は，9時から 24時間．』とりコー｜http://bit.ly/lYAUH7 at 06/08 07:35
あと 1.5時間くらいですなー．RT @knoike: 『今日は，「World IPv6 Day」．日本の場合は，9時から 24時間．』とりコー｜http://bit.ly/lYAUH7 at 06/08 07:35
knoike / Kenzi NOIKE
@naru0ga これは既知ですか？ いまでもPrologに興味があるのなら，開発を手伝うといいかも． RT @knoike: Eclipse用Prolog PluginがSourceforgeにあった．2010-09 ということは，比較的新 http://j.mp/mKruc7 at 06/08 07:30
@naru0ga これは既知ですか？ いまでもPrologに興味があるのなら，開発を手伝うといいかも． RT @knoike: Eclipse用Prolog PluginがSourceforgeにあった．2010-09 ということは，比較的新 http://j.mp/mKruc7 at 06/08 07:30
knoike / Kenzi NOIKE
個人的には Prolog 向きの解決したい課題がなくなってしまったので，学生さんに「変わった言語があるよ」というのを教えること以外に Prolog を使う理由がなくなってしまった．バックトラックが実行できるSQLエンジンさえあれば，それで十分に包含できるような気もするし． at 06/08 07:23
個人的には Prolog 向きの解決したい課題がなくなってしまったので，学生さんに「変わった言語があるよ」というのを教えること以外に Prolog を使う理由がなくなってしまった．バックトラックが実行できるSQLエンジンさえあれば，それで十分に包含できるような気もするし． at 06/08 07:23
knoike / Kenzi NOIKE
「萌えるProlog入門」って，まだ誰も書いてないのかなー．ユニフィケーションとかバックトラックとか「萌え」につながる要素は結構あるのに． at 06/08 07:19
「萌えるProlog入門」って，まだ誰も書いてないのかなー．ユニフィケーションとかバックトラックとか「萌え」につながる要素は結構あるのに． at 06/08 07:19
knoike / Kenzi NOIKE
何が純Prologの範疇なのか忘れてしまったなー．findall とかアリだっけ？ bagof, setof あたりは，たぶん違うだろうという直感はあるけれど，findall はわからないなー．append なんかも組込み述語として用意されてない処理系も多いし． at 06/08 07:14
何が純Prologの範疇なのか忘れてしまったなー．findall とかアリだっけ？ bagof, setof あたりは，たぶん違うだろうという直感はあるけれど，findall はわからないなー．append なんかも組込み述語として用意されてない処理系も多いし． at 06/08 07:14
knoike / Kenzi NOIKE
そういえば，最小バイト数コンテストをしたときに，エラトステネスのふるいを使わないベタベタな判定コードのほうが小さくなるという話を @khojima くんに教わったなー． at 06/08 07:09
そういえば，最小バイト数コンテストをしたときに，エラトステネスのふるいを使わないベタベタな判定コードのほうが小さくなるという話を @khojima くんに教わったなー． at 06/08 07:09
knoike / Kenzi NOIKE
Eclipse用Prolog PluginがSourceforgeにあった．2010-09 ということは，比較的新しい目．1.0.0でどれくらいのことができるのかな．バックトラックとかカットとかがトレースできると，いまの時代にはいいかも．http://j.mp/mKruc7 at 06/08 07:07
Eclipse用Prolog PluginがSourceforgeにあった．2010-09 ということは，比較的新しい目．1.0.0でどれくらいのことができるのかな．バックトラックとかカットとかがトレースできると，いまの時代にはいいかも．http://j.mp/mKruc7 at 06/08 07:07
knoike / Kenzi NOIKE
Prolog の述語名置換って，難しい部類に入るのかなぁ？ 述語定義の書式にバリエーションがあまりない気がするので，head 抽出もさほど難しくない気がする．そうだとしたら，head の書換え規則に基づくhead&body置換を 2回実行すればイケないかなー． at 06/08 07:03
Prolog の述語名置換って，難しい部類に入るのかなぁ？ 述語定義の書式にバリエーションがあまりない気がするので，head 抽出もさほど難しくない気がする．そうだとしたら，head の書換え規則に基づくhead&body置換を 2回実行すればイケないかなー． at 06/08 07:03
knoike / Kenzi NOIKE
@TakaoOzaki format系の述語ではなく，write系の述語でできませんか？ マニュアルを拾い読みした限りではできそうにみえました． at 06/08 06:47
@TakaoOzaki format系の述語ではなく，write系の述語でできませんか？ マニュアルを拾い読みした限りではできそうにみえました． at 06/08 06:47
knoike / Kenzi NOIKE
@TakaoOzaki EUC-JP や SJIS でソースが書いてあるからではないですか？ UTF8 にエンコードしても意図どおりに読み込んでもらえないという話ですか？ at 06/08 06:46
@TakaoOzaki EUC-JP や SJIS でソースが書いてあるからではないですか？ UTF8 にエンコードしても意図どおりに読み込んでもらえないという話ですか？ at 06/08 06:46
knoike / Kenzi NOIKE
『「ルネサス、パネル付き機器向けマイコンで GbitE と OpenVG1.1 に対応」』とりコー｜http://bit.ly/ixxWAl at 06/08 04:27
『「ルネサス、パネル付き機器向けマイコンで GbitE と OpenVG1.1 に対応」』とりコー｜http://bit.ly/ixxWAl at 06/08 04:27
knoike / Kenzi NOIKE
『今日は，「World IPv6 Day」．日本の場合は，9時から 24時間．』とりコー｜http://bit.ly/lYAUH7 at 06/08 03:54
『今日は，「World IPv6 Day」．日本の場合は，9時から 24時間．』とりコー｜http://bit.ly/lYAUH7 at 06/08 03:54
knoike / Kenzi NOIKE
過配信のお詫びメール，きたー．「技術的な問題」なの？ 「人為的な問題」じゃなくて？ RT @knoike: MSから同じ内容のメールが立て続けに来はじまったけれど，これって，何か設定を間違っているんじゃないかなぁ．すでに 7通． at 06/08 03:44
過配信のお詫びメール，きたー．「技術的な問題」なの？ 「人為的な問題」じゃなくて？ RT @knoike: MSから同じ内容のメールが立て続けに来はじまったけれど，これって，何か設定を間違っているんじゃないかなぁ．すでに 7通． at 06/08 03:44
knoike / Kenzi NOIKE
http://j.mp/jAgQf4 関学の「マムシに注意」の写真，残ってた．2004年くらいの．RT @Kezzardrix: うちの学校もマムシに注意って書いてあるけど、負けた． RT @mito173: 「シカに注意」「クマに注意」あたりはわかるけど、流石つくばだわ…… at 06/08 03:19
http://j.mp/jAgQf4 関学の「マムシに注意」の写真，残ってた．2004年くらいの．RT @Kezzardrix: うちの学校もマムシに注意って書いてあるけど、負けた． RT @mito173: 「シカに注意」「クマに注意」あたりはわかるけど、流石つくばだわ…… at 06/08 03:19
【Twitter まとめ投稿の最新記事】
- 「Twitter まとめ投稿」記事があると，このブログが重たくなり表示にものすご..
- 2013年10月07日のつぶやき
- 2013年10月06日のつぶやき
- 2013年10月05日のつぶやき
- 2013年10月04日のつぶやき
- 2013年10月03日のつぶやき
- 2013年10月02日のつぶやき
- 2013年10月01日のつぶやき
- 2013年09月30日のつぶやき
- 2013年09月29日のつぶやき
- 2013年09月28日のつぶやき
- 2013年09月27日のつぶやき
- 2013年09月26日のつぶやき
- 2013年09月25日のつぶやき
- 2013年09月24日のつぶやき
- 2013年09月23日のつぶやき
- 2013年09月22日のつぶやき
- 2013年09月21日のつぶやき
- 2013年09月20日のつぶやき
- 2013年09月19日のつぶやき
