「Logic」を含む日記 RSS

はてなキーワード: Logicとは

2011-07-16

Mathematics, physics, informatics. Philosophy, ethics, aesthetics. Logic, grammar, rhetoric.

2011-05-04

Obama justified Osama

The other day, the White House stated that a SEAL commando team succeeded in killing Al-Qaeda terrorist Osama bin Laden in the Northern Pakistan. The news enfevered the US citizens on the streer, and they cried "USA! USA!".

It would be difficult for non-American citizens to be sympathize with the US citizens about that event. Actually, there are many people pointing out the absence of due process in Europe, Japan, Arabia, and other regions. This should be called a murder. Of course, nobody can justify the 9.11 terrorist attacks, but Al-Qaeda did that. Al-Qaeda sated that, "We have the right to attack physically the USA, because the USA is assisting Israel killing children in Palestine."

This time, President Obama justified the logic of Al-Qaeda by killing Osama without any due process.

2011-04-15

http://anond.hatelabo.jp/20110415085413

よく知らないけど、JSPカスタムタグ使えば、自然ELも使うことになると思うよ。

<c:out>も<c:forEach>も<c:if>も、どれも${EL}なしじゃ書けないしね。

もしかしてJSTL使わずに、いまだに<logic:iterate>とか使ってる?

もしそうならELオプションだと思っても仕方ないかも。

2011-02-05

Logic pro9 が起動できない問題が解決

備忘録

【症状】

つい昨日まで普通に使えていたLogic pro9 が急に使えなくなった。

・ドックで選択するとアイコンバウンドするけど、実行できない(下のライトが表示されない)

・その状態でアクティビティモニタを見るとLogic pro9が確認できる。でもやっぱり実行できない

・ついでSoundtrack Proも使えなくなった

ソフトウェアアップデートや再インストールをしても症状は変わらず

OS : 10.6.6

Logic pro9 : 9.1.3

【原因】

Bootcampに起因ずるバグ

アップルサポート電話したら割とあっさりと解決。

Bootcamp領域があるマシンで同じようなケースが報告されているとの事。

SpotlightBootcamp領域を検索することで発生するとかなんとか(詳しくは聞かなかった)

【解決方法】

システム環境設定」→「Spotlight」を開き「プライバシー」をクリック

ここで検索除外対象を選択できるので、

一覧表示の下にある「+」ボタンクリックし、デバイスBootcamp領域を選択(デフォルトなら[BOOTCAMP])

これでBootcamp領域がSpotlight検索対象から除外される。

改めてLogic pro9を起動させたらちゃんと動いたよ。

【注意点】

マシン再起動すると、検索除外対象の指定が解除されてしま場合もあるとか。

私のマシン再起動後は[BOOTCAMP]が検索除外対象から外されてました

この場合は面倒だけど、都度設定し直すしか無いらしい

早くこのバグを修正したアップデートをしてください!

2009-11-30

http://anond.hatelabo.jp/20091130065047

読みにくい日本語より、読みやすい英語のほうが理解できる場合もあるんじゃね。

とりあえず次のように仕分けして単語覚えてるんだが、他にいい方法があったら教えてくれ。

1、主語やツール ex) people, economic sanction, logic, logician, normalization,

2 分析語   ex) strength:strong、color:green, normality:normal

3、変態語   ex) cut, build, create, burst, feel, get well, grow,solve, think, transform

4、移動語    ex) walk, fall, go up, speak, travel, eat, take, give, get, buy

5、論理語    ex) but, even, so far など

2009-06-19

俺を取り巻く開発現場は「残念」!? 増田さんに聞く

http://anond.hatelabo.jp/20090618012903

こちらの元増田です。

はてなのお作法みたいなものがよく分からないけど、

トラバコメに対する返信をこんな感じで書いていいものか。

各記事にトラバ返ししたほうがいいのかな…。

http://anond.hatelabo.jp/20090618014439

こういうのはだいたいが運なんだろうな。

次の仕事が面白いかどうかなんかは入ってみないとわからないことあるだろうな。

やっぱり運なんですかねー。

同じ会社で別の現場に行ってる人なんかは、

一次受けだったりモダンフレームワーク駆使してたりで

楽しそうな人もいるんですよね。

自分も前の現場で知り合った人に退職することを知らせたときに

(社交辞令かもしれませんが)うちに来ないか、と誘われたりもしたんですが、

「そこで役に立てなかったら自分だけじゃなく引っ張ってくれた彼の顔も立たない」っていう不安

強かったんですよね。

その人は僕の現場での仕事っぷりをそれなりに評価してくれてたようでありがたかったんですが、

逆に誰も僕を知らないところでどこまでやれるかを試したい気持ちも少なからずあったのかも。

http://anond.hatelabo.jp/20090618020443

運なのはまったく同意。

そうであるならどんどん次にいくしかない。

自分で道を切り開くしかないってことも分かってるつもりなんですが、

あんまジョブホッパーみたいなことをやっていて、飽きっぽい根なし草みたいに思われても

まずいかな、とも思ったりしています。

できれば腰を据えて開発に専念できる会社に身を置きたいと思っているので…。

数か月前に経験したばかりの転職活動は、楽しくもなかなか体力・精神力の要るものだったし。

でも、踏ん切りをつけるなら早めのほうがいいですよね。

http://anond.hatelabo.jp/20090618023021

増田に必要なのは「メールにそう書いてあったからそうなのだろう」という決め方の反省をすること。

今から自分が働こうって会社が、どんな業務をしているのか調べた?

確かに「メールに書いてあったんだから」的な考えはお花畑だったと反省すべきだと思います…。

今の会社は立ちあげて3年目くらいのベンチャーで、

外に出してる情報は景気良さげなものばかりなもんで…

Javaで高水準の案件が!」みたいな。

自分が参画してるのは同じ会社からは独りで出ているので、

美辞麗句並べてた社長も僕がどんなことやってるのか把握してなさげです。

実際(そこに参画していない僕が勝手想像すると)魅力的な案件に携わってる人もいるようなので、

やはり運に依るところも大きいんですかね。

http://anond.hatelabo.jp/20090618190513

はてなにいて、IT戦士たちの生き様をみてると、

IT戦士すげえなあって思う。

やっぱりIT業界の人から見ても、

あれって上澄みなの?

いちおうIT業界の末席を汚す身としても、すっげぇ上澄みにみえてしまいます。

僕もブログ技術的なエントリ書いてはてブで「これはすごい」タグつけられたいお!

http://anond.hatelabo.jp/20090618191639

はてなに住んでるスーパーエンジニア達は上澄みだろ」

と思っている俺みたいな三下から見ても

「こいつらクズだろ」

って連中が平然と業務でコード描いてたりはする。

あるあるあるあるwwww

だから、自分立ち位置がすごく不安定なものに感じてしまいます。

現場で活躍するためにスーパーエンジニアエントリを参考に腕を磨くぜ!と思っていても、

現場レベルが逆の意味でものすごい…。

http://anond.hatelabo.jp/20090618215310

俺もヘビーなコーディングばっかだった現場から転職して、

あくびが出るような単純なCOBOLプログラムばっか書くような所に来てしまった……。

しかも、コーディングしてる時間なんてほんの少しで、ずっと設計テストばっかり。

まあ残業もなくなったし割と収入も増えて極楽なんだけどね。

残業がなくなってないこと以外、よく似た環境です。

「内職する」「ツール作成に血道をあげる」

仕事でのプログラミングは諦めてオープンソース開発に走る」

参考にさせていただきます

内職はちょろちょろやってるんですけどねー。

いかんせん、数行のソース修正に対してコーディング以外にやることが多すぎる…。

Eclipseよりサクラエディタより、Excel読み書きしてる時間が多いです…。

飲み会の席で「○○君は技術力あって凄い助かる!」としか言われないような人間になれるぞ!

まあそれでも突き進むのが真のプログラマーだな。

真のプログラマー道、突き進みたいと思います。

オレは ようやく のぼりはじめた ばかりだからな

この はてしなく遠い プログラマー坂をよ…

さて、明日もjsplogic:equalタグを埋め込む仕事が始まるお!

現場リーダーが、既存のソースがそうなってるからなるべく合わせろって!

こんな愚痴エントリコメントいただきありがとうございました。

次は明るい話題を提供できるよう頑張りたい所存です。

2008-09-12

http://anond.hatelabo.jp/20080910200519

様相論理なんてふつう経済学では意識しないよ。

あくまで経済学者が「必ず」っていう命題モデルで表現したいならどうするかってのが問題でしょう。

君のほうが論理学についてよく知ってるというのはわかった。

で、いちおういま「ふつうの」って言ったのは、modal logicを使って、

合理性とか知識の公理化を(たぶん)しているゲーム理論家がいるから。

ただしそれはメジャーではない。興味があれば、検索してみればいい。

っていうところでいいんじゃないの。

2008-03-25

Beautiful Code 増田ヒカル

It's only love.

もしも願い一つだけ叶うなら 君の側でペアプロさせて

どんなエディタでもいいよ

Beautiful code

迷わずモニターだけを見つめている

Beautiful logic

自分のギークらしさ まだ知らないの

It's only love.

寝ても覚めてもハックばっか

夢見てばっか ぬるい涙が頬をつたう

言いたいことなんか無い

ただもう一つテスト書きたい

言いたいこと言えない

非コミュかもしれない

それでいいけど

もしも願い一つだけ叶うなら 君の側でペアプロさせて

どんなキーボードでもいいよ

Beautiful code

迷わずモニターだけ見つめている

Beantiful logic

自分のギークらしさ まだ知らないの

It's only love

どんなコードでも書いてみて

DISられたって 少し経験値上がる

仕様書なんかいらない

肝心なことが載ってない

最近調子どうだい?

家に帰れてるなら 別にいいけど

僕のバグが消えるまで帰れないなら

君の側でペアプロさせて どんなキーバインドでも結構

Beautiful code

儚く過ぎて行くスケジュールの中で

Beautiful logic

気分のムラは仕方ないね

もしも願い一つだけ叶うなら

君の側でペアプロさせて

2007-07-02

http://anond.hatelabo.jp/20070702190214

論理理論の違いがわからなくなってしまって、辞書を引いた増田がいる。

そしてまたわからなくなった。

logicとtheoryか。

ログイン ユーザー登録
ようこそ ゲスト さん