Definitions, Definitions, Do We Need Them?
The role of definitions in mathematics and theory Alfonso Bedoya was not a theoretician, but an actor. He is perhaps most famous for uttering the lines: “Badges? We ain’t got no badges. We don’t need no badges. I don’t have to show you any stinking badges!” He played Gold Hat, in the The Treasure of the Sierra Madre. Today I want to talk about definitions. We all think mostly about theorems and pr
MacBookAirユーザーが使っている便利ツール - Qiita
MacBookAirを買ったらすぐに入れたいアプリ BetterTouchTool //トラックパッドを拡張するために役立つアプリ。 Google Chrome //インターネットブラウザ Growl //通知を拡張するアプリ Kopypasta //クリップボードをバックアップしてくれるアプリ Quicksilver //アプリにショートカットキーを割り当てることができるアプリ WindowFlow //Windowsユーザーにお馴染みの[Tab+Alt]でウィンドウを切り替えを使えるようにするアプリ XtraFinder //Finderを拡張するアプリ Xcode //開発環境を提供するアプリ TinkerTool //Macの隠し機能を簡単に有効にするアプリ VirtualBox //仮想環境を提供するアプリ Skitch //スクーンショットの撮影と画像の編集を行うアプリ Das
放射性物質除去に使用広まるEM、科学的根拠に疑問の声続出でも、公的資金投入の恐れ？
東日本大震災から3年半がたち、被災地も徐々に復興への道を歩き始めているが、東京電力福島第一原子力発電所の事故によって生じた放射性物質汚染の問題は、一朝一夕には解決できない。 除染作業は基本的に、表面を洗い流す、表土や堆積物を取り除く、農地などは深く耕したり汚染されていない下層の土壌で上層を覆う、などの方法がとられる。しかし、こうした作業は人手がかかる上、山間部では地形によって作業の難しい場所もあり、課題はまだ山積している。 ところが、ある微生物資材を土壌にまくだけで「放射性物質が除去できる」と主張する人たちがいる。現在、環境大臣政務官を務める高橋比奈子・衆議院議員（自由民主党）も、そうした主張を繰り返してきた一人だ。 ●EMで除染できれば中間貯蔵施設も不要？ その高橋議員の発言に対して疑問の声が上がった。今年10月31日の衆議院環境委員会で、大熊利昭・衆議院議員（維新の党）がその真意を問い
Stackage server: new features and open source - FP Complete
Open source We’ve been working on Stackage server for a while and now that the code has stabilized it’s ready to be open source. You can fork it on Github! We’re a responsive team, used to bringing pull requests forward and getting them deployed. Since the last update we added a bunch of things. Here’s a rundown: Clarifying improvements Recommended snapshots: The home page now lists recommended sn
DNS DAY #iw2014jp #iw2014jp_d1 - Yukarin'Note
加藤先生：新gTLD： ・いずれにしても未経験の領域 →唯一の対応は Slow Start か →今現在は問題は発生していない →→実際に「使われているか」どうかは疑問 #iw2014jp #iw2014jp_d1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
