タグ

2012年11月30日のブックマーク (6件)

  • 悩まない。悩んでいる暇があれば考える - ニューロサイエンスとマーケティングの間 - Between Neuroscience and Marketing

    Leica M7, 90mm Tele-Elmarit F2.8, PN400N @Santa Monica, CA これはだいぶ以前からの僕の仕事上の信念。 kaz_atakaの教えの1(イチ)と呼んでいる。 多くの人は悩むことに時間を使いすぎている。そして悩んだことを仕事をしたと思ってしまう。でもこれは僕は大きな無駄だと思っている。 考えることと、悩むことは違う。全く違う。僕はそう思っているのだが、なかなか分かってもらえない。 僕が一緒に働く若い人にいつも言っているのは大体こういうこと。 「悩んでいると気付いたら、すぐに休め」 「10分以上(君のbrilliantな頭で)真剣に考えても埒(らち)が明かないときは、もう考える筋がないのだから、そのことについて考えるのは一度やめたほうが良い。それはもう悩んでいる可能性が高い」 「悩んでいるかどうかも分からないのであれば、もう悩んでいる可能性

    悩まない。悩んでいる暇があれば考える - ニューロサイエンスとマーケティングの間 - Between Neuroscience and Marketing
  • 応用可能な体系的知識とか暗黙知とか

    学習したいと考えている、なにかそれなりに大きな規模の分野について、自分でを書くつもりで、あるいは、こういうがあったら体系的な知識を得られるだろうなあというの目次を自分なりに書き出していって、あとはその内容を埋めるつもりで学習を行っていけば、自ずと体系的な学習になってしまうのではないかという方法です。それがうまくいくかどうかはわかりません。しかし、まあやってみる価値はあるんじゃないかという気もしています。 体系的な知識・技術が応用可能な知識・技術かというと,微妙に違いがあるんじゃないかとは思うんですけれど,やり方としてはいい感じなのかも。はてブには,情報系の学部や専門学校に行く方が効率が良いとかいった話もあるけれど,能動的に体系を作り上げることと,既存の(基礎的な)体系を受身で取り入れることは,コトの性質からして異質です。前者のキモは,「散乱する知識や実績のつじつまを,統一的な説明でも

  • Coq Tutorial

    eq_nat is recursively defined to test equality of two natural numbers n and m by pattern matching on their constructions. It returns true if both are 0, or if their successors S n' and S m' are recursively equal; otherwise it returns false. Evaluating eq_nat 3 3 returns true since 3 is constructed by applying S twice to 0, and both arguments have the same construction.Read less

    Coq Tutorial
  • SSSSLIDE

    SSSSLIDE
    pogin
    pogin 2012/11/30
  • zsh使いなら効率改善のため知っておきたいAUTOJUMP - Glide Note

    joelthelion/autojump - GitHub zsh補完関数の書き方をいろいろ調べていたら、autojump-zshというパッケージを発見。 気になって使ってみたらめちゃくちゃ便利で、久々に感動したので紹介。 autojumpはcdコマンドの拡張的なコマンドで、移動したディレクトリを記録し、 ディレクトリ間を行ったり来たりするときに絶大な効果を発揮します。 公式wikiに書いてあるよう コマンドライン作業の10〜20%はcdコマンドのため、ディレクトリ移動の動作が 改善すると必然的に作業効率も向上するということです。 実際私もautojumpを使い出してから、作業効率が上がりました。 それでは早速autojumpの説明を。動作検証環境は下記です。 Mac OSX 10.7.3 Fedora 16 Scientifix Linux 6.1 導入方法 autojumpを利用するに

    pogin
    pogin 2012/11/30
  • この先生きのこるには

    ちょっとずつ複雑なことをやっていっているのですが、正直まだ自分で作っていくイメージがついていません。 加速と減速=イージングタイムラインパネルのフレーム数がでてるとこの下のスライダーでワークエリアの幅を操作できるグラフエディターというのが存在する。値グラフと速度グラフ。グラフを編集するときに触るのはハンドルだけイージングの速度が早くてコマが見える時はモーションブラーをかける(13:40)モーションブラーは色々ごまかせてしまうので最後につけたほうがいい。処理が重いから最初のほうでつけるとプレビューのときにしんどいとかもある(ただプレビューのときだけオフにするとかもできる)

    この先生きのこるには