Bret Victor - Inventing on Principle on Vimeo
それでも証明が書けないあなたのためにテンプレートを提供しようー数学となら、できること
少女：証明問題が一番苦手です。答を見ても、なんでこれで証明したことになるのか、全然ピンと来ないし。 禁煙：確かに苦手な人が多いみたいね。 少女：解く問題だったら、とにかく答を出すところまでたどり着けばいいと分かるんで努力もしようがあるけど、証明ってどこからはじめてどこへ向かえばいいのか、それさえよく分からないです。あと、当たり前の事をわざわざ証明して、余計難しくしてるんじゃないかって思うこともあります。 禁煙：そうねえ。多分、前に話したことが関係してくるかしら。数学のことばと自然言語の話。 問：数学を何故学ぶか？ 答：言葉で伝えきれないものを伝えるため／数学となら、できること／図書館となら、できること番外編 読書猿Classic: between / beyond readers 少女：数学の言葉で書かれたものを、普通の言葉に翻訳しちゃうから、かえって分からなくなるっていうんですよね？ 禁
マニアやオタクが結婚指輪を作るとこんなことになる！写真20枚 : らばQ
マニアやオタクが結婚指輪を作るとこんなことになる！写真20枚 ふたりの愛を形を示す結婚指輪。普通はシンプルな貴金属ですが、最近はオシャレなものも増えてきました。 それがマニアやオタクとなると……こんなことになるという写真をご覧ください。 1. トライフォースが輝くゼルダの伝説リング。 2. プレイステーション・リング。 3. インベーダー・リング。 4. メトロイド・リング。 5. スーパーマリオ・リング。 （参照：マリオファンの彼氏にプロポーズしたら大成功…彼女の粋な作戦とは） 6. 銀「Ag」金「Au」プラチナ「Pt」の元素記号リング。 7. ボードゲームファンが喜ぶ10面ダイス・リング。 8. イギリスのSFドラマ、「ドクター・フー」に登場する次元超越時空移動装置「ターディス」リング。 9. スターウォーズのライトセイバー・リング。 10. ハン・ソロとレイア姫の名ゼリフ・リング。
伟德国际betvicror_伟德1946国际_韦德国际1946英国
伟德国际betvicror——西北搜索营销的开拓者和领导者 上万家企业正在与伟德国际betvicror网络技术有限公司合作推广 品牌专区 百度品牌专区，位于百度搜索结果首位，以超大黄金首屏展示位置，以文字、图片、视频等多种广告形式全方位推广展示企业品牌信息，将最为精华和直接的品牌信息展现在网民面前，众多网民也得以更便捷的了解品牌官网信息，更方便的获取所需企业资讯，是提升企业品牌推广效能的创新品牌推广模式。 西安博德电子科技有限责任公司成立于1998年，2013年更名为伟德国际betvicror_伟德1946国际_韦德国际1946英国（Xi’An Fuhua network Technology CO.,LTD），坐落于国家级软件园区——西安软件园。 伟德国际betvicror_伟德1946国际_韦德国际1946英国（以下简称伟德国际betvicror）是一家专注于百度产品营销服务的新型科技
どんだけマッチョじゃないと起業できないんだ、日本は。 - My Life After MIT Sloan
人材の流動化と企業に関するエントリは、私の考えも尽きたので、何か動きがあるまで、 前回の記事（「一流企業の正社員」も流動化が出来る社会へ－My life in MIT Sloan） を以っていったん寝かせておこうかと思ったんだけど、 Willyさんが面白い記事を書いてくれたんで、ご紹介がてら。 だって彼、最近はChikirinさんにご執心みたいで、最近全然あたしのところに来てくれなくて、寂しいんだもの。 （と売れないホステスみたいなことを言ってみる。） 起業したい若者に対する大人の本音－統計学＋ε：米国留学・研究生活 Willyさんは、読売新聞が運営している「発言小町」という、半ば人生相談質問サイトになっているところで、 就職活動をやめて、自分で起業しようと思っている大学3年生になりきって、投稿をした。 質問の内容は、不確実な時代なので食品業界がいいと思っている。 しかし、食品業界の大企業
水素の如し
どんだけマッチョじゃないと起業できないんだ、日本は。 - My Life in MIT Sloan (via katoyuu) (via ohmomo) (via pipco) (via fukumatsu) (via zenrahanra) (via lovecake) 2010-03-15 (via quote-over100notes-jp) (via mcsgsym) “話がずれたけど、そんなすごい経験がなくても、別に起業はできるわけです。 日本でも学生で起業して成功してる人たち－「はてな」とか「Mixi」とか、みんなそうでしょ？ 日本で「経験がないから」「資本金がないから」「十分な技術がないから」起業できない、と言ってるのを見るにつけ、 私はバングラデッシュの女性たちが、同じ理由で起業できずいつまでも貧乏なままだったのを、 グラミン銀行が「マイクロファイナンス」を始めたことで、機
何がLinuxデスクトップを殺したか（What Killed the Linux Desktop 日本語訳）
以下の文章は、Miguel de Icaza による What Killed the Linux Desktop の日本語訳を著者の許諾を得て公開するものである。 本文については、八木の野郎さん、Shiro Kawai さん、猪股健太郎さんに誤訳の訂正をいただきました。ありがとうございます。 これは実話である。 うちの Linux マシンの /home ディレクトリがあるハードディスクがおかしいので、それを新しいのに換えなければならなかった。このマシンは机の下にあるので、ケーブルを全部抜き、マシンを外に出し、ハードドライブを交換してまたプラグを全部つなぎ直さなければならなかった。 至極ありきたりなことだ。AC 電源をつなぎ、キーボードをつなぎ、マウスをつないだが、スピーカーケーブルを手に取ると、僕はそれをつなぐのはやめた。 なんでオーディオ設定なんかに手間かけなきゃいけないの？ オーディオ
zshで究極のオペレーションを 記事一覧 | gihyo.jp
運営元のロゴ Copyright © 2007-2024 All Rights Reserved by Gijutsu-Hyoron Co., Ltd. ページ内容の全部あるいは一部を無断で利用することを禁止します。個別にライセンスが設定されている記事等はそのライセンスに従います。
第1回 zshで広がる世界 | gihyo.jp
zshはシェルである。シェルはもちろんキーボード入力されたコマンド行を解釈し、必要なコマンドを必要な引数とともに起動することを主な仕事とするソフトウェアである。単なるシェルなのだが、zshには他を圧到する比類なき機能がある。その一端を印象づける一つの例に、zshで実装されたテトリスがある（図1）。 もちろんこれは、お遊び機能の例で実際の日常作業をこれで進めるわけではないが、潜在的に備えている機能がどれほどのものかが分かる好例である。 zshは、sh（Bourne Shell）をベースとし、ksh、csh（tcsh）、bashの優れた機能をアイデアとして取り込み、なおかつ作業効率を高める独自の機能を登載したまさに至高のシェルである。しかしながら超高機能・多機能であるがゆえに全容を掴むのが難しい。付属の英文マニュアルはしっかりしているものの、簡潔な仕様記述がされているのみなので具体的な
zsh導入 - kshとbash、zshの比較 - my_letter
2012-09-24 zsh導入 - kshとbash、zshの比較 職場ではksh、家ではbashを使っていたわたしですが、ついにbashに代えてzshを導入することにしました。 導入の決め手 端末間の履歴共有 コマンドオプションの補完機能 1. 端末間の履歴共有 bashとzsh bashで端末を複数枚開くと、historyコマンドで参照できる履歴が端末ごとに別々になってしまう 普段、screen(byobu)で複数の端末をいっぺんに使っているので、履歴が共有されないと不便 zshなら、設定で複数端末間の履歴を共有できる bashとksh ちなみに、kshはデフォルトで複数端末間の履歴が共有される サーバー作業だと、別の人の履歴が割り込んできて不便なことも サーバーのシェルなら、むしろ履歴共有しないbashが適当かも 2. コマンドオプションの補完機能
狐の王国 bashを捨ててzshを使うべきたった3つの理由
#2 bashを捨ててzshを使うべきたった3つの理由 去年だったか一昨年あたりだったかからbashをやめてzshを使っているのだが、実はその理由というのはたいしたものではない。 世の中にはzshを使うとこんなに幸せになれますよ的な記事がいっぱいあるのだが、そこまでカスタマイズにハマり込むほど暇でもないし、bash程度でコマンドラインは充分すぎるほど便利なのだ。それ以上の事をするならそれこそスクリプトでも書いて~/binに入れておけばいい。 で、それなのになんでzshを使ってるかというと、それでもbashには無い魅力がそこにあるからだ。 ＠ 1. ヒストリが共有できる: もうこれが最大の理由。 コマンドライン、CLIの魅力のひとつに、実行したコマンドを保存しておけるというのがある。使い方のうろ覚えなコマンドなど、Ctrl+rを押してヒストリをインクリメンタル検索し、過去に実行したときのオプ
漢のzsh (5) 「あーっ!」というそのときのために - 備えあれば憂いなしの設定集 | エンタープライズ | マイナビニュース
今回は、前回までの設定も含めて、zshの基本的なオプションをまとめよう。 超基本にして最重要 - compinitで補完機能 第1回目で簡単に説明したが、リスト1.1の設定は絶対必要。zshの実力を発揮するための第1歩だ。 リスト1.1 補完設定をロードして設定 autoload -U compinit compinit プロンプト1.2 補完設定を読み込む前はコマンドに関係なくファイルが補完候補として表示されるが % tar [ここでタブキーを押す] dir01/ dir02/ file01 file02 file03 プロンプト1.3 補完設定を読み込んだあとはコマンドに応じてオプションが補完される % autoload -U compinit % compinit % % tar [ここでタブキーを押す] A -- append to an archive c -- c
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.kajisoku.org/archives/51816204.html
Kindleで購入した電子書籍は、実はユーザーのものではない