|
|
|
|
|
||
|
||
【魂ウェブ商店】8月発送分「ご注文おまとめキャンペーン」対象商品の受付締切日を公開（05月25日）
保険市場 コラム『自動車保険で回避できる経済的リスクは億単位！？』（05月25日）
【FRONTIER】最新CPU搭載モデルを週末だけの特別価格で販売（5月28日AM10：00まで）（05月25日）
FRONTIER、最新CPU搭載モデルを週末だけの特別価格で販売（5月28日AM10：00まで）（0
By Manuel J. Simoni at 2012-03-09 02:14 | LtU Forum | 1 comment | other blogs | 9538 reads
kanoke 2012/05/25 22:12 流石に心配すぎる内容ですよ。病院で診てもらった方が……。
本日のツッコミ(全3件) [ツッコミを入れる]
_ soda [omoさんの日記の「忙しい」および「なぜか労働時間がながく家でのひまがない」にあたるんだと思いますが、会社でやってる..]
1.soda(2012-05-25 14:04) 2.shinh(2012-05-24 00:19) 3.ささだ(2012-05-23 09:26)
2012-05-25
■[lifelog] 11:26
W:C
F:△（なんか眠い...)
dpkn:2:朝
コメントを書く
トラックバック - http://d.hatena.ne.jp/ddk50/20120525
dkpn:2:夜
2012-05-21 分かりやすくしよう
■分かりやすくしよう！
難しい問題は、小さく分割することで簡単にする事が出来ます。
また、分かりやすくするには、動くプログラムを徐々に大きくして行くのがよいようです。
なにかをしようとして問題が出てきて、その問題をクリアして
その結果として、プログラムは大きくなって行くように学習するとコストが下がると思います。
その過程で何をどのように考えたを知りたいんで
2012-05-24
2012年05月24日のツイート
Twitter, まとめ
@kmizu: URL うーん。同じ出版社から出たからどうというわけではないのだけど、目次見ると文法の細かい解説が主で、今の Scala に求められているものとは方向性が違う気も…。
2012-05-24 21:03:20 via SOICHA
@kmizu: @zakkas783 ども、ただいまです。いつもありがと
2012-05-24
■[書籍紹介] 離散数学パズルの冒険 3回カットでピザは何枚取れる？
離散数学パズルの冒険 3回カットでピザは何枚取れる？
作者: T・S・マイケル,佐藤かおり,佐藤宏樹
出版社/メーカー: 青土社
発売日: 2012/03/28
メディア: 単行本
長時間の移動があったので，読みました．
一般書のタイトルに「離散数学」という固いことばを入れてしまうところに驚きますが，原題は
23:02 12/05/24
東海道
烈風伝については専用ブログhttp://nobu8.hateblo.jp/を作ってしまいました。40ターンなどと述べていましたが、真面目にやったら24ターンになりました。22ターン（1547年クリア）も可能な戦略を理論上見つけたつもりになっていて今試してみています。ザビエルとはなんだったのか。
それはそうと、ここしばらく連休のたびに行っていた東海道歩きが、まだ
2012-05-22
■2012年05月22日のツイート
@kururu_goedel: 4月末までにと言っていたペーパーが未だに書き通せてすらいない。ダメだ。
2012-05-22 11:41:07 via TweetDeck
@kururu_goedel: えーと、誰か早稲田で線形順序の直積をやっている人と話す機会があって、私が誰か知っている人は、「なんか家庭内が大変らしくて数学がなかなか出来
2012年5月22日(Tue)
■[YMM]結城浩メルマガ／気の利いた会話／文章は不完全／手書きノート／
結城浩のメルマガ「コミュニケーションの心がけ」のVol.008を発行しました。
今回は、
文章を書く心がけ - 完全な文章は書けない
本を書く心がけ - 手書きノートのスナップショット(2)
Ｑ＆Ａ - 気の利いた会話ができない
次回予告 - 文章を書くことと学ぶことの関係
をお届けします。ご
* Feb. 24 2013: 2.0 release
2012/05/21
返事
life
返事があるというのはとても大きな事だ。返事は短くても良い。Like! / fav のようなものでもいい。極端な話、1文字でも十分。そして返事が自分が期待するよりも早く来ると「おっ」と思う。
実際にどのくらいの電圧をかけるとどのくらい電流が流れるのかは面白い問題ですが、とりあえず回路を設計する時には LED にかかる電圧は一定と考え、欲しい明るさ(= 電流) に応じて直列に抵抗を入れます。実際には電圧が一定というわけは無いのですが、だいたいそう考えて OK らしいです。
Permalink | コメント(7) | トラックバック(0) | 22:19
Permalink | コメント(7) | トラックバック(0) | 02:40
Permalink | コメント(7) | トラックバック(0) | 02:50
■[Haskell] ConduitとPersistentを使って高パフォーマンスなDB処理を目指す
iteratee/enumeratorの改良を試みているのが Conduit （コンディット？）だ（日本語の紹介記事）。 最近でもずっと改良がつづいているようで(参考：tanakhさんの発表資料)、例えばSource/Conduit/Sinkの型がPipeに統一されたりと、概念的に整理されてきてい
本日のツッコミ(全7件) [ツッコミを入れる]
_ PatPraimaSero [http://bestsoftwarehere.com/stats/index.php]
■2012年05月16日のツイート 06:00
@toge_: げ、hadop-0.20-native入れようとしたらlibzip1がないって。ubuntu 12.04に無さげ。なんか面倒な感じだ。
2012-05-17 02:46:44 via Echofon
Permalink | コメント(3) | トラックバック(0) | 19:12
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
2012|01|02|03|04|05|
2012-05-10
■ [ruby] ズッ友のソーシャルグラフ
メロスゎ走った…… セリヌンティウスがまってる…… でも……もぅつかれちゃった…でも…… あきらめるのょくなぃって…… メロスゎ……ぉもって……がんばった……でも……ネイル…われて……イタイょ……ゴメン……まにあわなかった……でも……メロスとセリヌンゎ……ズッ友だょ……！！
[拡散性ズッ友メ
2012/05/07 (月)
■[本][Virtualization]「できるPRO VMware vSphere 5」のご紹介 - 5/8発売
ネットワールドのシステムエンジニアの方々が書かれた「できるPRO VMware vSphere 5」が明日5/8に発売されます。
できるPRO VMware vSphere 5
作者: 大久保健一,工藤真臣,沢田礼子,三好哲生,できるシリーズ編集部,ヴイ
2012-05-06(日)
Redmine, git, Jenkinsの状態を横断的かつリアルタイムに表示する『Dashbozu』をリリースしました。
Redmine, git, Jenkins などプロジェクト管理ツールの状態を横断的かつリアルタイムに表示するWebアプリ『Dashbozu』を作りました。
これを使えば、一つの画面でプロジェクトの”今”の状態を把握できます。 WebSocketを
2012-05-02
関数型言語(らしきもの)が今どう産業で使われているか
関数型言語
一応ちょっと
各関数型言語(らしき物)のホームページには大体、この言語はこの会社で使われているよ！だから君も使わなきゃ駄目だよ！というお手盛りのページがあります。それを列挙しておきます:
Scala: http://www.scala-lang.org/node/1658
Clojure: http://dev
soutaro 2012/04/30 17:24 ユビレジだと、カテゴリを決めて登録することになってますよ。
カテゴリを決めたくない人もいるとは思いますが、そうすると今度は「カテゴリを決める、決めない」という選択を強いることになります。分類したくない人は、「全部」というカテゴリを作るだけでいいんじゃないですかね。
まあ、実際どうなのかはまた実験しないとわかりませんが。
2012-04-29
PFI入って一ヶ月が経ちました。
日記
先の4月よりインターンでお世話になったPreferred Infrastructureに入社致しました。
超がつくほどのスーパーなハカーな皆様に囲まれつつ、一人場違いなのではと戦々恐々としつつRedBullを飲みつつ仕事している毎日です。
あ、あとこの年までずっと実家暮らしだったのですが一人、もとい二人暮らし始めました。友人とですが。
2012-04-29
■Blogspotに移転しました。
特に大した理由はないのだけれど、Bloggerに移転することにした。
http://yoriyuki-jp.blogspot.jp
よろしくお願いします。
コメントを書く
トラックバック - http://d.hatena.ne.jp/yoriyuki/20120429
導入したのはProof General-3.75とCoq 8.2r2の
FAT47の底辺インフラ議事録 - 【作業メモ】Apacheログをfluentd+Mon...
abstract class StorageSer-static StorageService_0 open(host, port, scope=""
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
金
Permalink | コメント(6) | トラックバック(0) | 20:20
osiire 2012/04/20 20:30 おぉう、コメント頂いていたのに気付かなくてすみませんでした。
電卓書いてみます。上の例でも使っていますが、<=<によって再帰的定義もできるので問題なくかけると思います。書いたらブログに挙げます。
posted in programming by niha | 7,719 Comments
posted in C++ by niha | 7,264 Comments
posted in screen by niha | 8,125 Comments
posted in C++ by niha | 9,797 Comments
posted in C++ by niha | 3,086 Com
いるんだよ。こういうところに。グラボイズ。
2012-01-27(Fri)
■[C#][.NET]MAG画像ローダ
唐突にPC98時代によく使われていたMAG画像形式ファイルを読み込むプログラムをC#に移植してみました。２，３個の画像でしか試してないのでバグがあるかも。
// 謝辞
// MITH(T.Saito)氏のＷＡＢ−Ｓ用マルチグラフィックローダ WMLのソースを参考にさせていただきました。
using System;
using
Permalink | コメント(0) | トラックバック(0) | 03:04
77OT:Thinkpad X61s のブラウザキー封印 (06/20)
ニンジャスレイヤー (1)
2012-01-01
映画けいおん！(2回目)
Anime, Movie | 01:16
映画けいおん！をもう一度観てきました．
結論から言うと，この映画は2回目に合わせて最適化されている．
続きを読む
コメントを書く
トラックバック - http://d.hatena.ne.jp/osa_k/20120101
ぺっくブログミラー@peccul - = OSX Lionでmikutterを
2011-12-07
Scalaで証明支援器を書いてみた
Scala, Coq, coq2scala |
この記事はTheorem Proving Advent Calendarの7日目の記事である。
静的型付き関数型言語は言語処理系の実装が容易であることから多くの場合、証明支援器(proof assistant)が実装されている。例えばStandard MLではIsabelle/HOL、OCam
2011-11-25 素数マスターへの道(7)
■[数学]素数マスターへの道(7)
お嬢さん、お名前は？
除算って遅いんです。
多少なりともプログラミングをやったことのある人にとっては「何を今さら」という内容ですが、あまりプログラミングを知らない方も読んでくださっているようなのでご容赦を。
で、どのくらい遅いのかということを一言で説明するのは少し難しいですが、今回取り組んでいるPrime Chec
Game Programming Gems 2 (Game Programming Gems Series)
作者: Mark Deloura
出版社/メーカー: Charles River Media
発売日: 2001/10/01
メディア: ハードカバー
Game Programming Gems 3 (Game Programming Gems Series)
作者: Mark Delou
ウェブマスターツールをお使いください †
Googleでsite:example.comとか検索したら，ウェブマスターツールを使おう！ みたいな広告がでて面白いなぁと思った．~
あと，f13g.comの検索結果を見てたら面白かった．
せっかくなので更新．生きてます．
出張は1ヶ月くらいで帰ってきました．その後は引越ししたり，プロジェクタ買ったり．
お名前:
blog/2010-06-
しかし、自分は学部4年ぐらいのときに余帰納法（というか双模倣）を習って、「（数学的帰納法のような）帰納法と（双模倣のような）余帰納法が双対」と聞いても、何となく「余帰納法は結論を仮定する(?)から、仮定を仮定する(?)帰納法と反対なのかなあ」と思うぐらいで、恥ずかしながら何が双対なのかよくわかりませんでした。かといって、詳しい人に「何が双対なんですか」と下手に聞くと、高い確率で「始代数と終余代数が
【追加】
RCショップ トップ・フォース（http://rctopforce.blog62.fc2.com/）
神奈川県大和市代官1-1-15
けんせい 2011/07/06 17:13 はじめまして、chromeで文字化けするのですが
治す方法はありますでしょうか？
2011-06-02
ねこでもわかる Mercurial
社内の Tech Talk で Mercurial 入門な話をする機会があったので、その時のスライドを公開しました。前回の記事 id:nyaasan:20110309 とは違って ”本当の意味で” 入門者向けの内容になっています。
http://www.slideshare.net/nya3jp/mercurial-for-kittens
2011年05月20日(金) JavaScript UM Emulator
■ JavaScript UM Emulator
JavaScript上のPCエミュレータ http://bellard.org/jslinux/ に触発されて、
http://tanakh.jp/jsumix/
こんなものを作りました。
詳しくはこちら → http://www.boundvariable.org/
Ja
44: var retType = Type.createVar(null);
45: unify(funType, Type.createFun(argType, retType));
46: return retType;
144: }
Permalink | コメント(2) | トラックバック(0) | 16:10
./%3Ca href=%22http://mono.kmc.gr.jp/~yhara/d/?date=20090108%22 target=%22_blank%22%3Ehttp://mono.kmc.gr.jp/~yhara/d/?date=20090108%3C/a%3E
./%3Ca href=%22http://d.hatena.ne.jp/mzp/20090105#c123129011
記事一覧
ログイン
無料ブログ開設
kurimuraの日記
<前の30日分
2010-01-19 boost::anyを車輪の再発明しよー
■[C++]俺俺any 00:56
C++のboostにあるboost::anyってご存知でしょうか？
なんでも放りこめる便利な型です(詳細はこの辺でも)
しかし、boost::anyを使っててたまーに困るのが共変の型でも変換できないということがあります
くっちゃいの！ 2009/08/25 03:09
３日お風呂入らずに来て！！って言われたから
我慢してその通りにしたんだが、行為を始めた途端に
チ ン カ スだらけの俺のテ ィ ン コを咥えてキレイにしてくれたわｗｗｗｗ
とりあえずされるがままでフィニッシュしたんだが、
ボーナス付けるとかイミフな事言われて８ 万ゲットしたよ（＾＾；ラッキー♪
http://okane.d-viking.com/I
よーちよちよちよち！！！！ 2009/08/24 20:01
最近ここの女におしゃぶり咥えさせてガラガラ持たせて
パッコンパッコンしてやったんだが、反応がハンパネェっすｗｗｗｗｗｗｗｗ
「気持ちいいですぅーん！！はあっぁぁああ！！！」
こんな萌えボイスで叫ばれたら余計に興 奮するっての！！！！！！
仕方ないからずぶずぶ奥まで挿れてあげたら
ずっと潮ピュルーって飛ばして痙攣しまくりー（・∀・）ぐっふ
Permalink | コメント(1) | トラックバック(0)
インプレスコミュニケーションズ / 978-4-8443-2436-2 / 在庫僅少 / ￥2,000