関数型ガール - Software Foundations 日本語版Wiki
*関数型ガール え～、あれをナニしたりしたものです。もとネタわからない人は[[こちらへ>http://www.hyuki.com/girl/]]。 **謝辞 まず最初に、Pierce先生、結城先生ごめんなさい。出来心で書いてしまいました。シャレだと思ってご勘弁ください。 **目的 最初にSoftwareFoundationに触れた時感じた驚きは、「これは何だか教材として新しい！」というものでした。 実際にSoftwareFouncationの.vファイルを開いて読み進めてもらうと分かると思いますが、この教材は完全にプログラムのソースファイルと読み物が一体化していて、コメントを読みながら１行ずつ実行し、その結果を目で確認しながら学習を進められます。 まるでCoq自体がチュートリアルシステムを成しているかのような動きをするのです。 そして、自分自身でそのソースファイルを編集しながら実行を続けら
はてなブログ - そっとプロジェクト＠Ｗｉｋｉ
imageプラグインエラー : 画像を取得できませんでした。しばらく時間を置いてから再度お試しください。 imageプラグインエラー : 画像を取得できませんでした。しばらく時間を置いてから再度お試しください。 【復旧済み】はてなフォトライフで画像のアップロードに失敗することがある不具合が発生していました 現在、はてなフォトライフで画像のアップロードに失敗することがある不具合が発生しています。 詳細な原因については調査中です。度々ご不便をおかけし誠に申し訳ございません。 追記 2024/9/30 11:00ごろ復旧しました。ご利用の皆さまにはご迷惑をおかけして申し訳ありません。引き続き再発防止の対応を進めてまいります。 1970/01/01 (木) 09:33:44 【復旧済み】はてなフォトライフで画像のアップロードに失敗することがある不具合が発生していました 2024/9/29 9:29
海底からの流出への対策 - メキシコ湾原油流出事故 ディープウォーター・ホライズン炎上沈没事故
井戸元の周りを、ROVが取り囲んでいる。遠隔操作で動くこのROVによってBOPを直接作動させ、井戸元からの流出を止めようとしたが、これは失敗。何故かBOPは以前として機能しない。 油は合計三箇所から流出を続けている。この図が正確であるとすると、Riserの上端、その手前の折れた部分、そして井戸根元付近の三箇所から流出中。BPのプレスリリースに寄れば、後にこの内の一ヶ所を、ROVによって閉じることに成功。流出箇所は二箇所へ） 図中左側、別のSemi-sub型リグDevelopment Driller Ⅲが、リリーフ井(Relief Well)を掘削している。この井戸は、横川から油が噴出している油層に直接掘り込み、セメントを圧入して流出を抑えるというもの。既に掘削を開始しているが、ターゲットに到達するまでは６０日から９０日かかる見通し。
コマンド/クエリ分離の原則 - memomem @ ウィキ
Command - Query - Separation : CQS メソッドの為の[[オブジェクト指向]]原則、この原則ではすべてのメソッドが以下のどちらであるべきとされます。 * コマンドメソッド ――― アクション(更新、調整など様々)を実行し、しばしば、オブジェクトの状態を変化させるような副次効果を伴い、void(返り値なし)である。 * クエリメソッド ――― データを呼び出し元に返し、副次効果を伴わない。どのオブジェクトの状態も永続的には変化させてはならない。 しかも、重要なポイントとして、1つのメソッドが両方を兼ね備えていてはいけません。 ---- &bold(){コマンド/クエリを分離する理由} コマンド/クエリ分離は、コンピュータサイエンスの分野で、望ましい原則として広く認められています。この原則に従うと、プログラムの状態を変化させることなく、より簡単に状態を論理的に判断
GPSまとめサイト＠2chモバイル板 - GPSまとめ
２ちゃんねる モバイル板 GPSスレのまとめwikiです。スレではそこそこ情報が出てますが、あまりまとめきれてません。 たまにはGPS以外のページもあるかもしれません。あらかじめご了承ください。 もくじ ←メニューで「★」の項目がおすすめ。あとのページはちょっとね。 →の投票所はあまり深く気にしない。どうしようかちょっと検討中(2009/10/21)。 テンプレ － GPSはじめての方は、見るといいかもしれません（見てもよくわからないかもしれません）。 アットウィキテンプレート － 新規ページを作る場合は、をじわ読みしてがんばってください。 管理人からの連絡帳 － お時間が許せるなら、参照ください。ｇｄｇｄ書いてあります。 掲示板 － なにかあればお気軽にどうぞ。
グッドウィルのデータ装備費 @ まとめウィキ
最大手の人材派遣会社株式会社グッドウィルが1995年の創業時から2007年4月30日までの期間に 同社に登録し働いていた労働者の賃金から任意で天引きしていたとするデータ装備費（一勤務に付き200円）が 実際にはデータ装備費の支払いを拒否出来ない強制的な徴収であり、その使途も不透明であるとの派遣ユニオンの 指摘に基づき、ユニオンを始めとするグッドウィルの説明に納得出来ないスタッフらが 創業時から廃止された時点までの天引きしていた分、それら全額を速やかに返還するよう求めています。 現在、東京（グッドウィルユニオン）と愛知と福岡で係争中です。 【 不当天引き返還状況 】 フルキャスト「業務管理費（250円）」全額返還（07/7/6 団体交渉で回答） グッドウィル「データ装備費（200円）」２年分のみ返還（07/6/21 回答）→全額返還訴訟 サンレディース「安全装備料（100円）」全額返還（07
2ch 自転車板滋賀県統合スレ 琵琶湖一周まとめサイト
滋賀のすんばらしい所、練習場所、レースなどについて話し合いましょう。 もちろん琵琶湖一周の話題もここで。
中級者〜上級者 - Podcastでリスニングの練習まとめ @Wiki
:Business English Pod|&font(i){http://lkey.podomatic.com/} :TVO Big Ideas|&font(i){http://www.tvo.org/TVOsites/WebObjects/TvoMicrosite.woa?bigideas_pastepisodes} -各分野の著名な方のインタビューで２０～４０分くらいで音質もいいのでお勧め。 :For What Its Worth|&font(i){http://www.steveanddawn.com/} -ネイティブの日常会話のおしゃべりが聞けるPodcast :Buzz Out Loud|&font(i){http://bol.cnet.com} -米CNETより。tech worldのニュース。女2、男1。 :Japan Talk (Japundit Podcast)|&fo
Podcastでリスニングの練習まとめ @Wiki - トップページ
http://academy4.2ch.net/test/read.cgi/english/1128954956/ 【iPod】 Podcastでリスニングの練習 2 http://academy4.2ch.net/test/read.cgi/english/1137483337/ 【iPod】 Podcastでリスニングの練習 3 http://academy4.2ch.net/test/read.cgi/english/1154639869/ 【iPod】 Podcastでリスニングの練習 4 http://academy4.2ch.net/test/read.cgi/english/1167225842/
G-Fan@Wiki - Gmail不用メール検出器Wiki！
[[Gmail>http://gmail.1o4.jp/]]の不要メール検出器です！ 大容量のGmailでも、不要メールの存在は容量を圧迫し検索精度を下げます。 そんな不要メールを１クリックでスマートに検索できるブックマークを、みんなで共有＆編集できるようにしました！「このページを編集する」より追加や修正が可能です。 リンクは、[[Gmail検索ブックマークジェネレータ>http://gmail.1o4.jp/save_search.html]]を使ってカンタン作成！ ※アクセス後、Gmail検索窓に表示される検索条件をコピーして[[フィルタ>http://gmail.1o4.jp/filter.html]]の「キーワード」欄に入れればフィルタも作成可能！ *Gmail不要メール検出器 |CENTER:BGCOLOR(#CCCC99):COLOR(#ff6600):検出器|CENTER:B
就職活動で見た凄い奴まとめサイト
■まとめ（スレ別） 時期別 / 01 / 02 / 03 / 04 / 05 / 06 / 07 / 08 / 09 / 10 / 11 / 12 / 13 / 14 / 15 / 16 / 17 / 18 / 19-1 / 19-2 / 20-1 / 20-2 / 20-3 / 21 / 22 / 23 / 24 / 25 / 26-1 / 26-2 / 27 / 28 / 29 / 30 / 31 / 32
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
"必修科目逃れ"wiki
picasa @Wiki
2chスレ関連 - ニンテンドーWi-Fiコネクションまとめ
podcast @Wiki