|
|
|
|
|
||
|
||
2012-05-24T17:12:08.000Z permalink original post | +1 7 replies
サグラダファミリア入場券
ガウディの聖家族教会 見学チケット、
もう何十分も並ぶ必要はありません。
《無料》戦国IXA／公式
【5秒】で出来る超カンタン登録で
スクエニ初の戦国ゲームを楽しもう！
games.yahoo.co.jp
メッセージ 118 件（新規 118 件） - 5月24日
Sumibi Engine:Copyright© 2005,2006 Kiyoka Nishiyama(開発者ブログ)(メール) / Sumibi Ajax:Copyright© 2005,2006 Kato Atsushi(開発者ブログ) 現在の日本時間:05月25日 9:01 世界の時間を確認できるサイト
2012/05/25 08:41:26 Zaurus/Linux - kawara’s PukiWiki
JavaScript(4)
BodhiLinux(3)
OmotoG_memo(2)
PukiWiki活用法(2)
now: 3
2012/05/25 08:26:10 どーんとやってみよう
2012-05-24T17:12:08.000Z permalink original post |
05/08海外体験ノート 136548579804
05/02正論吐きなんてやめちまえ 24735585
04/25異文化体感！ことの始まり？ 75225947802
04/16冗談作法ノート 45518732401
03/08ナンプレ教室『超簡単入門』 7647471801
03/07パズル問題自動生成時代 57635923802
02/13心理、教育、社会性の発達 98431519001
02
2012/05/25 07:59:07 EmacsWiKi
20:22 UTC (diff) (history) AutoJavaComplete . . . . fortress.aer.com – yasnippet url [en]
19:4
2012/05/25 06:42:34 ElScreen
消費: 2413 / 供給: 4160 (万kW)
(2012年5月25日 5時
HTML convert time to 0.086 sec.
与信調査システムの決定版
上場企業700社以上実績の安心サービス
企業信用調査ならリスクモンスター。
www.riskmonster.net
■ In-app Billing APIバージョンの確認
■ subscriptionの購入リクエスト
■ トランザクションのリストア
■ subscriptionの正当性の確認
■ ユーザーにsubscriptionのキャンセルや確認させるための製品ページのlaunch
■ 請求の継続と購入状態の変化
■ subscriptionのためのアプリの修正
■ 予約の処理
Based on ”PukiWiki” 1.3 by yu-ji.last-modified: Wed, 14 Jun 2006 20:53:10 JST (2171d)[変更箇所]Site admin: sigps.Powered by PHP 5.3.13. HTML convert time: 0.083 sec.
since: 2002-08-28 update: 2002-08-28 count: 51940
プログラマの転職ならDODA
一般に公開されていない求人が80%以上
まずは無料登録を！DODAエンジニア
doda.jp
23:02 12/05/24
東海道
烈風伝については専用ブログhttp://nobu8.hateblo.jp/を作ってしまいました。40ターンなどと述べていましたが、真面目にやったら24ターンになりました。22ターン（1547年クリア）も可能な戦略を理論上見つけたつもりになっていて今試してみています。ザビエルとはなんだったのか。
それはそうと、ここしばらく連休のたびに行っていた東海道歩きが、まだ
ルーリーは1977年12月生まれなので、このとき29歳だったんですね。演歌の天才・氷川きよしが同年生まれです。なので(?)、「Jacob Lurie ファンクラブ」には写真を並べて貼ってあります。↓は（たぶん二十代前半の）ルーリーの写真、アイドル風。
かわりに iPad を買ってきた (05/24)
Kindle touch 返品してきました (05/24)
はてなのブログパーツはずしました (03/12)-エンバグしちゃった (03/08)
Last Modified: Tue May 22 22:18:51 UTC 2012
/23 [Wed]
@07:16
こんふぃギャーーーーーッ!さいきん、このページよりもあのページの更新に忙しいんだ。ごめんよ
小遣い稼ぎだよ。この仕事に将来はないからね。
usenetに落ちてるやつは使うな。
最初のうちはあったよ。暗号部分が対象になったんで、コードをアレンジして「解除」しなきゃなんなかったよ。
May 22, 2012
1 0 0 0 1 1 1〓〓〓〓1 0 1 1 1 0 0
0 1 0 0 0 1 1〓〓〓〓1 1 0 1 0 1 0
0 0 1 0 1 0 1〓〓〓〓1 1 1 0 0 0 1
0 0 0 1 1 1 0
The generator matrix is denoted [ I : A ] and consists of an identity matrix I i
Forbidden
You don’t have permission to access /sumim/on this server.
2012年05月22日
論外、かと思いきや - 書評 - 東京スカイツリー論
出版社より献本御礼。
東京スカイツリー論
中川大地
いよいよ本日オープンする東京スカイツリーだが、後述するように論ずるに足りない存在だと思っていた。
本書をひもとくまでは。
続きを読む
でんき予報 - 東京電力の使用状況グラフ
続きを読む
論外、かと思いきや - 書評 - 東京スカイツリー論
news - #studyg
2012年5月22日(Tue)
■[YMM]結城浩メルマガ／気の利いた会話／文章は不完全／手書きノート／
結城浩のメルマガ「コミュニケーションの心がけ」のVol.008を発行しました。
今回は、
文章を書く心がけ - 完全な文章は書けない
本を書く心がけ - 手書きノートのスナップショット(2)
Ｑ＆Ａ - 気の利いた会話ができない
次回予告 - 文章を書くことと学ぶことの関係
をお届けします。ご
2012/05/21
返事
life
返事があるというのはとても大きな事だ。返事は短くても良い。Like! / fav のようなものでもいい。極端な話、1文字でも十分。そして返事が自分が期待するよりも早く来ると「おっ」と思う。
linux-source-2.6.32パッケージをインストールしておくと、/usr/src/linux-source-2.6.32.tar.bz2がインストールされる。これを展開して、カーネル全体ではなく、例えばKVMだけといった具合に必要なモジュールだけをコンパイルしたい。
Permalink | コメント(1) | トラックバック(0) | 09:35
http://ll.jus.or.jp/2012/
HaL-7: Regional Haskell meeting
July 13, 2012, Halle/Saale, Germany
4th Summerschool on Applied Functional Programming
August 20-31, 2012, Utrecht, The Netherlands
Recent Events
This page has been acc
Participant Details: sakai ― Code Jam 2012 Statistic
Participant Details: sakai ― Code Jam 2012 Statistic
Participant Details: sakai ― Code Jam 2012 Statistic
Tags: programming-contest haskell
続きを読む
続きを読む
April 22, 2012
■ Meteor.js
http://www.meteor.com/ で公開された Meteor.js を少し触ってみました。TechCrunch なんかでも話題になっていましたね。
Meteor.js は JavaScript によるウェブアプリケーションフレームワークですが、クライアントサイドでもサーバーサイドでもない、”Isomorphi
2012年05月08日
■ 「個人情報」定義の弊害、とうとう地方公共団体にまで
現行個人情報保護法の「個人情報」の定義に不備があることを、これまでずっと書き続けてきた。「どの個人かが（住所氏名等により）特定されてさえいなければ個人情報ではない」（のだから何をやってもよい）とする考え方がまかり通ってしまいかねないという危機についてだ。
2003年からはRFIDタグ、2008年からはケータイIDによる
2012-05-07
■ 武雄市の図書館問題を個人情報保護法で議論するのはスジが悪い
武雄市図書館、ＴＳＵＴＡＹＡが運営へ
佐賀県武雄市は４日、レンタルビデオ店「ＴＳＵＴＡＹＡ」を展開する「カルチュア・コンビニエンス・クラブ」（ＣＣＣ）に市図書館の運営を任せることで同社と合意したと発表した。市は６月定例会に同社を指定管理者とする議案を提出。認められれば来年４月に年中無休でカフェや雑誌、文具の販売コ
Beyond Church encoding: Boehm-Berarducci isomorphism of algebraic data types and polymorphic lambda-terms
Last updated May 5, 2012
2012-04-29
■Blogspotに移転しました。
特に大した理由はないのだけれど、Bloggerに移転することにした。
http://yoriyuki-jp.blogspot.jp
よろしくお願いします。
コメントを書く
トラックバック - http://d.hatena.ne.jp/yoriyuki/20120429
導入したのはProof General-3.75とCoq 8.2r2の
2012-04-24
■ Tinycc on NaCl について kernel/VM 探検隊7で話しました 03:02
https://sites.google.com/site/kernelvm/ima-made-no-matome/di-qi-hui-kaneru-vm-tan-jian-dui
スライド
http://shinh.skr.jp/slide/nacltcc/000.html
金
2012-04-10
■memcachedでレアな不具合
memcachedを使っているサービスにて、ある日、データのキャッシュが更新されない現象に遭遇した。キーと値をダンプしてみたところ、タイムスタンプがおかしな値になっていた。
心当たりというと、そういえばサーバの日付がおかしくなっていた日があったような気がする。
memcachedは、利用する際にexpireを指定するのだけど、実装としては無
にわとり小屋でのプログラミング日記
「みなと」という名前は2010年に@1syoから提案されたもの。 Yokohama.rbがはじまって間もない頃に提案されて当時はどうしたものかと困ったけど…。 言い出しっぺの法則により実行委員長は@1syoにお願いすることになり、 実行委員長@1syoのもとスタッフが編成され、実行委員長@1syoを中心に以下のようなすばらしい開催趣意も作られた。
Permalink | コメント(1) | トラックバック(0) | 11:54
素人くさいSICP「独」書会
by naoya_t (aka naochan) ※このページはリードオンリーです。 トップ 記事一覧
FrontPage
Structure and Interpretation of Computer Programs
[asin:489471163X:title=計算機プログラムの構造と解釈]
http://www.naochan.com/sicp/img/co
yamada28goの(´Д⊂ モウダメポ日記
■酔ってます
プロフェッショナル仕事の流儀―失敗の数だけ、人生は楽しい
作者: 茂木健一郎,NHK「プロフェッショナル」制作班
出版社/メーカー: 日本放送出版協会
発売日: 2008/02
メディア: 単行本
Permalink | コメント(0) | トラックバック(0) | 01:47
2012年2月8日
本物のプログラマはHaskellを使う 第52回掲載
[topic:Haskell]
ITpro に 本物のプログラマはHaskellを使う - 第52回 データ構造を走査するためのTraversableクラス が掲載されました。
今回は Haskell での（内部）イテレータに相当する Traversable クラスについて説明します。
イテレータと言っても、処理にAppli
オブジェクト指向の“モヤッと”の正体を知りたくなったら、id:sumim:20040525:p1 や id:sumim:20080415:p1 がお役に立つかも…。
2012年1月23日
bkノート
ブログよりもっと気軽に文章を書く方法はないかと思い、 Google+ にbkノートというページを実験的に作ってみました。すぐ飽きるかと思いきや、今のところ続いているので、もう少し続けてみたいと思います。-続きを読む...
http://wiki.haskell.jpへ移行をすすめています．
Last modified : 2012/01/09 10:08:28 JST
77OT:Thinkpad X61s のブラウザキー封印 (06/20)
ニンジャスレイヤー (1)
Copyright (C) 2002-2012 hatena. All Rights Reserved.
3. 更新ファイル一覧 (2011/11/09)
4. 管理人の環境とオリジナル Elisp (2011/11/09)
9. Meadow のインストール (2011/09/15)
http://practical-scheme.net/wiliki/wiliki.cgiWiLiKi, a Wiki engine written in Schemehttp://practical-scheme.net/wiliki/wiliki.cgi?sasagawa%3a%3aWAM2011-11-13T14:23:42+00:00http://practical-scheme.net/
Last modified : 2011/05/11 11:41:34 UTC
Last modified : 2011/11/04 18:53:18 UTC
Last modified : 2011/11/04 18:53:18 UTC
Last modified : 2011/11/04 08:31:30 UTC
[asin:4274067890:detail]
最新Javaコーディング作法
著者：森崎 雅稔
発売日：2011-10-20
2011-09-29 [長年日記]
_ RubyConf 2011 New Orleans
一年ぶりの更新か。「年刊Matzにっき」だな。
今年もニューオーリンズで開催されたRubyConf。同じ都市で二度開催は初めて。
で、しょっぱなが私のキーノート。
まあ、あんまり語ることはないので。スライドを見てもらおうか。
Ruby everywhere
View more presentations f
This is my old domain.
Interested about my work as iOS (iPhone/iPad) developer? visit: http://pietrozuco.com
If you came here looking for photography, visit my photoblog: http://zucowall.com
For other
No space left on device - /var/tdiary/2009/200912.td2 (Errno%3A%3AENOSPC)/usr/local/lib/tdiary/tdiary/defaultio.rb:126:in `initialize’/usr/local/lib/tdiary/tdiary/defaultio.rb:126:in `transaction’/usr
メンバー交流ページnew!
Metblogs HQ
しかし、自分は学部4年ぐらいのときに余帰納法（というか双模倣）を習って、「（数学的帰納法のような）帰納法と（双模倣のような）余帰納法が双対」と聞いても、何となく「余帰納法は結論を仮定する(?)から、仮定を仮定する(?)帰納法と反対なのかなあ」と思うぐらいで、恥ずかしながら何が双対なのかよくわかりませんでした。かといって、詳しい人に「何が双対なんですか」と下手に聞くと、高い確率で「始代数と終余代数が
GDB と同じ位に便利な flymake が `start-process’ を使っているので、`start-file-process’ に置き換えるって話は、随分前に Emacs Tramp + flymake - Higepon’s blog - Mona OS and Mosh で id:higepon さんが、紹介されていましたね。
8.1.5 ライブラリディレクトリ - プロセスとスレッド
9.3 gauche.cgen - Cコードの生成
9.3.1 Generating C source files
9.3.2 Generating Scheme literals
9.3.3 Conversions between Scheme and C
9.3.4 CiSE - C in S expression
9.4 gauch
TopAboutLoginTimelineSearch
2011年05月20日(金) JavaScript UM Emulator
■ JavaScript UM Emulator
JavaScript上のPCエミュレータ http://bellard.org/jslinux/ に触発されて、
http://tanakh.jp/jsumix/
こんなものを作りました。
詳しくはこちら → http://www.boundvariable.org/
Ja
Peter Achten. The Soccer-Fun project (educational pearl). Journal of Functional Programming, Volume 21, Issue 1, 2011, pp.1-19. Available on CJO 19 Mar 2010 doi:10.1017/S0956796810000055. Copyright &c
4 月 4 日（月）の日記
いろいろ引っ越しとか。
ここしばらくの間、Twitter の書き込みをここのブログにも転載するようにしていたんだけど、やっぱりやめました。検索エンジンからのアクセスが増えるかなぁと思ってたんですが、まったく効果がなかったので。ただ、Twitter に書いた物は、放っておくとすぐにアクセスできなくなってしまうので、今後はひとこと書くときには Tumblr を使おうと思いま
2011-03-19
■東北地方太平洋沖地震義援金の受付-時差ぼけで真夜中に起きてしまい本を読んでいると、ジャックがゆっくり廊下を歩いて部屋に入ってきて、僕のそばで横になった。なんだか泣きそうになってしまったよ。
イル コモド ピッティ
リブルラブル風塗りつぶし、3。
canvas の ImageData を使うように書き換えたら描画はだいぶ速くなった。まえに比べて解像度 2 倍 2 倍です。今度は算術演算がボトルネックになってきた。
See more ...
See more ...
<用意 | ヘラクレスの選択>
<用意 | ヘラクレスの選択>
<[圏論][算譜]余代数 | [算譜][Haskell][雑記][http://p...>
<[圏論][算譜]余代数 | [算譜][Haskell][雑記][http://p...>
<[圏論][算譜]余代数 | [算譜][Haskell][雑記][http://p...>
<[圏論][算譜]余代数 | [算譜][Haskell][雑記][http://p...>
新日々此何有哉 - パッチ適用時に再起動を要求されるわけ
プリフェッチ始めました - aki.の月記
上記理由により、以下のいずれかの対策を-●接続先のFTPサーバーがSSL等に対応して
Software error:
Can’t locate Yuki/Diary.pm in @INC (@INC contains: ./lib ../lib /usr/lib64/perl5/site_perl/5.8.8/x86_64-linux-thread-multi /usr/lib/perl5/site_perl/5.8.8 /usr/lib/perl5/site_perl /usr/
Ｄ加群へ至る道
これだけ読めば、Ｄ加群がわかる、というわけではないのですが、現時点で一般の人がＤ加群を勉強しようと思ったときに参考になるであろう資料を列挙しておきます。
（１）安藤哲哉編 コホモロジー 日本評論者
（２）堀田良之 加群十話 朝倉書店
（３）堀田良之 代数入門 朝倉書店
（４）安藤哲哉 ホモロジー代数学 数学書房
[岩波数学辞典 第４版]
Ｄ加群
ホモロジー代数
（５）堀田・谷崎共著
法学というのはローマ時代から続く古い学問(?)というか社会現象であり、近代以前のロジックが残っています。アメリカでも、他分野のポスドクがロースクールに流れ込んだ70年代80年代以降に初めて社会学としてのディシプリンを持ったと聞きますので、日本は30年は遅れるのではないかと思います。
少なくとも、大学院で説明される学説(、大抵はいくつかの主要な学説をやりますが、その)レベルでは、責任主義を認めないも
kmizushima 2010/06/28 22:55 お返事が遅くなってすいません。誤解されてると思った点に
ついてはおおむねこちらの誤解だった、ということで基本的には了解しました。ただ、さらにコメントしたい事があったので以下に述べさせていただきます。
> ただ、結局StringはStringなんでしょうか？List[Char]にする予定はないのでしょうか？JVMの仕様上の問題だとは思うん
Tuesday, June 01, 2010
firefox を複数バージョンインストールする方法 (for Debian lenny)
Debian lenny において firefox の最新版(3.6.3)を使いたくなったが、以前のバージョンも同時に使いたかったので
複数バージョンの導入にトライしてみた。
以下の方法は公式にサポートされている方法ではないのであくまでも自己責任で。
1. fi
Written by kuri|minima(tkuri {at} fat.coara.or.jp) - all rights reserved.(warai
<前の5日分
■ PFIサマーインターン
PFIサマーインターンの募集を開始しました！
岡野原さんをはじめとする研究開発チームと一緒に仕事が出来る良いチャンスだと思いますので、奮ってご参加下さい！
コメントを書く
■ 「クラウド大全」出ました!
クラウド大全という本の第10章を書かせて頂きました。
クラウド大全 サービス詳細から基盤技術まで
作者: 日経BP社出版局
出版社/メーカー: 日経
学生の研究日記らしいです。多分。
最後まで学生初心者だった人の日記。
ちょっと突然ですが、ささだ（笹田耕一）は東京農工大学を 3/31 付けで退学いたしました。
自分の人生に退学届けを提出するというイベントが発生するとは思いもしませんでしたが、何かレア (!= アレ) なフラグををセットしてしまったようです。そして、学部 4 年、修士課程 1 年、博士課程 2 年の、計 7 年間という長い学生生活
本日のツッコミ(全1件) [ツッコミを入れる]
_ doggie [apt-line の stable を etch に変えてから upgrade しておけば大丈夫なんじゃ。 まあ、..]
Permalink | コメント(1) | トラックバック(0)
ぎょはぁ！！！！！ 2009/08/15 21:40
ヘイヘイ！！あひひひほはぁｗｗｗｗｗｗｗ ちょｗｗいきなりごめｗｗｗｗｗｗ
寝てるだけで５ 万もらっちゃって真面目な自分がヴァカらしくなってさｗｗｗｗｗ
はぁーいま女シャワー浴びてんだけど、もう１ラウンドでまた５ 万くれるってＹＯ！ｗｗｗｗｗｗ
またマグロでさっさと中 出 しするわｗｗｗｗｗｗｗｗｗ
http://kachi.strowcrue
内職 手作業 募集 【包装・梱包】
包装 梱包 人気の内職手作業
該当する投稿は見つかりませんでした。
カレンダー
2009年8月
月 火 水 木 金 土 日
« 7月
12
3456789
10111213141516
17181920212223
24252627282930
31
最近の投稿
練習
クイック投稿テスト
Hello world!
アーカイブ
2009年7月
カテゴリ
Apache/2.2.3 (Debian) mod_fastcgi/2.4.2 Phusion_Passenger/2.0.6 PHP/5.2.0-8+etch15 mod_ssl/2.2.3 OpenSSL/0.9.8c Server at mr.uue.org Port 80
Gone
The requested resource
/~ko1/diary/200605.html
is no longer available on this server and there is no forwarding address.Please remove all references to this resource.
Posted on July 27, 2007 [ Permalink | Comments ]
Posted on July 3, 2007 [ Permalink | Comments ]
Posted on March 4, 2007 [ Permalink | Comments ]
Posted on September 2, 2005 [ Permalink | Comments ]
今日の一行(2008-05-18)
2008-05-18 Safariのtextareaのフォントを大きくする
TLUG
SEARCH
MENU
General
>Guide/FAQ
>Wiki
>Articles
Meetings
>Next Meeting
>(Past) Meetings
Members
>Organization
>Members
>Blogs
MLs
>Mailing Lists
>List Policy
>Arch
Not Found
The requested URL / was not found on this server.
植山類さんによる。RSSリーダに登録して期待、期待。
2006-05-02 gonzui 追加。thanks: 冨山さん
御意見・御感想は aamine@loveruby.net 青木峰郎まで。リンクは自由にどうぞ。
ソースコードを読みなさい、あるいは読んでいく、という話題はわりとあるけども、どう読んだらいいか書いたものは見たことがない。プログラマならプログラムの読みかたは当然わかっているものだということなのだろうか。
静的な解析
これも前項と似てい
まさーるのページ
石井 勝 masarl@nifty.com
まさーるのページにようこそ！
このサイトでは，オブジェクト指向やプログラミングの話題を扱っています．書いていることはXPやデザインパターンなどですが，最終的には，どうすればSEが行っている作業を面白くし，仕事を楽にできるか，ということを目指しています．それでは，どうぞ．
[プロフィール] [リンク集] [編集後記] [Cotton Bo