タグ

2013年10月16日のブックマーク (12件)

  • https://www.cs.iastate.edu/~honavar/badstudent.html

  • NHKの台風中継にwwwwwwwww (画像あり):暇つぶしニュース

    1: トペ コンヒーロ(東京都):2013/10/16(水) 10:51:37.89 ID:eAV2zSVrP https://twitter.com/2BenKi/status/390288379796914176/photo/1 2: ストレッチプラム(山口県):2013/10/16(水) 10:54:20.03 ID:CldCjSLv0 これは大事件だな 3: リバースパワースラム(茸):2013/10/16(水) 10:54:25.96 ID:8NxvCkrr0 また不倫ドッキリか 4: ジャーマンスープレックス(岩手県):2013/10/16(水) 10:54:35.74 ID:58c7f+Os0 これ見たわw 普段から駅で働いているのかなと思った 5: ハイキック(やわらか銀行):2013/10/16(水) 10:55:10.21 ID:zJtR+79O0 むすび丸知らんかった

  • KDE UserBase Wiki

    OKU_s62
    OKU_s62 2013/10/16
  • シュリーフェン・プラン - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "シュリーフェン・プラン" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2018年8月) シュリーフェン・プラン シュリーフェン・プラン(独: Schlieffen-Plan)は、19世紀後期のドイツ帝国の軍人アルフレート・フォン・シュリーフェンによって1905年に立案され、修正された形で第一次世界大戦の始めにドイツ軍によって適用された、西部戦線におけるドイツ軍の対フランス侵攻作戦計画である。 概要[編集] シュリーフェンによる原案[編集] シュリーフェン 小モルトケ 普仏戦争以降のドイツの外交政策は、フランスの孤立を維持することを目的と

    シュリーフェン・プラン - Wikipedia
  • Coqで型クラス - Qiita

    Require Import String. Open Scope string_scope. (* 型クラスShowの定義 *) Class Show (A: Set) := { show : A -> string }. (* フィールドshowの型 *) Check @show. (* show : forall A : Set, Show A -> A -> string ((A:Set)と(s:Show A)の部分は暗黙引数となり、省略可能) *) (* string型をShowクラスのインスタンスとする *) Instance ShowString : Show string := { show s := s }. (* bool型をShowクラスのインスタンスとする *) Instance ShowBool : Show bool := { show b := match b

    Coqで型クラス - Qiita
    OKU_s62
    OKU_s62 2013/10/16
  • lessのおすすめオプション - Qiita

    概要 lessのman見てたら便利っぽいの見つけたからまとめる 内容 自分がドキュメントのどこらへんを見てるのか表示する(-m) less -m で↑のスクショの左下のようにドキュメントのどこらへんにいるかをパーセンテージで表示する 自分が見てる行数やそのパーセンテージや開いてるファイル名を表示する(-M) less -M で↑のスクショの左下のように行数と -m 同様なパーセンテージと開いているファイル名を表示する ドキュメント内検索する時に検索ワードに大文字が入ってない限り大文字小文字を区別しない(-i) less -i でドキュメントを開くと、ドキュメント内検索する時に検索ワードに大文字が入ってない限り大文字小文字を区別しない。 つまり、 ↓のようなドキュメントを開いている時に /test で検索したら全部ヒットするが /Test で検索するとTest しかヒットしない ANSI C

    lessのおすすめオプション - Qiita
  • マジで凄い地名紹介する:キニ速

  • GithubでPull Requestは絶対消せない。ヤバい\(^o^)/オワタ - アジャイルSEの憂鬱

    2013/10/16: Githubのhelp「Remove sensitive data」について追記 先日、初めて知ったのですが、GithubのプルリクをCloseは出来ても、削除は出来ない。(*1) 普段使う上では困らないのですが、パスワードなどの公開すべきでない情報がプルリクに含まれると、結構ヤバい事になる。 結論 結論を先に書くと「リポジトリを作り直すしかない」 試したこと プルリクしてるブランチを上書きする パスワードなどの情報をコミットから(rebase -iなどで)消してからブランチを上書きしてみた。 $ git push -f origin topic_branch プルリクに上書き前後の履歴が全て表示される... プルリクエストしたブランチを削除する 実はGithubでプルリク中のブランチを削除すると、自動的にプルリクがCloseになる。 Closeになるだけだった..

    GithubでPull Requestは絶対消せない。ヤバい\(^o^)/オワタ - アジャイルSEの憂鬱
    OKU_s62
    OKU_s62 2013/10/16
  • 海外Amazon転売楽すぎワロタ

    1. 海外Amazonで商材仕入れる 2. 日のヤフオクで売る。 このツーコンボで稼げる。 利益は月に数万程度だけど、ほとんど労力かけてないから濡れ手にアワ感パない。 懐の悪銭を浄化するというか、私にお金落としてくれたカモさんたちへの罪滅ぼしとして、錬金術のタネ明かしをしたい。 ①仕入れ先 海外ECショップで仕入れる。 私は英語圏のAmazon利用している。 英語以外の言語が話せるなら、そこのAmazonでも良い。 eBayや無名のショップでも良いけど、カモられたり、情報収集する手間が面倒。 Amazonの信用度高すぎ。商品不着とか、バッタ物掴まされることまずない。 その分、利幅小さいけど、そこは仕方ない。所詮小遣い稼ぎ。 ②商材 1. 日国内で販売されていない。 2. メジャーでもなく、マニアックでもない。 3. 面白みがある。 この3点満たす商品を選ぶ。 まず1だけど、プロパーの小

    海外Amazon転売楽すぎワロタ
  • 「生産性の概念の欠如」がたぶんもっとも深刻 - Chikirinの日記

    長く働いていた外資系(アメリカ系)の会社を辞めてほぼ3年。まったく英語を使わなくなった。 「日って、今でもこんなに英語が不要な社会だったんだ」とは驚いたけど、それはそれで「まあ、いいんじゃないの」と思ってます。 だって今どき母語だけで暮らしていけるなんて、すごく恵まれた国だってことだから。 「英語が話せない人と、まともな仕事につけませんよ」みたいな小国と比べて、平和で呑気でいい感じ。 なんだけど、ここ3年、どっぷり日社会に浸ってみて感じるもうひとつ別の欠如については、「これはちょっと深刻な問題だしょう」と思えます。 それは・・・「生産性の概念の欠如」 日って「生産性」という概念があるのは、工場の中だけなんじゃないの? それ以外のところ、たとえばメディアや公的部門、さらには民間企業のホワイトカラー(管理)部門から営業まで、 「この人たち、もしかして生産性っていう概念を全く持たずに働いて

    「生産性の概念の欠如」がたぶんもっとも深刻 - Chikirinの日記
  • 世界史でイギリス嫌いになるやつwwwwww : ワラノート

    1: 以下、名無しにかわりましてVIPがお送りします 2013/10/14 21:22:11 ID:/eiBL8Tb0

    世界史でイギリス嫌いになるやつwwwwww : ワラノート
  • JavaScriptで自動化!Pacifista入門 - Qiita

    皆さん環境構築とか、システムの設定作業とかって、どのように作業していますか? 古きは環境構築手順書を使って行なっていましたが、昨今の自動化ブームに伴って、 chefやcapistrano、fabricなどのツールを検討されている方も多いと思います。 ただ、最近はやりの自動化ツールって、RubyとかPythonを多少知っている必要があったり、 独自DSLや特殊な用語を覚える必要があったりと、学習コストが高くてとっつきにくくないですか? まわりにススメても「あー便利そうだねけど難しそうだね」で終わってしまうパターンが多々あります。 そこでPacifistaですよ Pacifistaは「環境構築をまるごとプログラミングする。それもシンプルに」を目的としたOSSの自動化ツールです。 Pacifistaには、以下の特徴があります。 JavaScriptでコードを書く事が出来る。 JavaScript

    JavaScriptで自動化!Pacifista入門 - Qiita