タグ

2008年3月19日のブックマーク (17件)

  • 数理科学的バグ撲滅方法論のすすめ---目次 | 日経 xTECH(クロステック)

    筆者 住井 英二郎 「プログラミング言語理論」という研究分野がある。この分野の研究者たちは,「ML」「Haskell」「Scheme」あるいは「λ計算」「π計算」(円周率計算のことではない)など,多くのプログラマにとっては聞いたこともない言語やモデルについて,日夜研究している。ただ,そのような言語は「難しい」「役に立たない」などと思われがちだ。 この連載では,こうしたプログラミング言語やソフトウエア科学の様々な研究を,できるだけ普通のプログラマやエンジニアにもわかりやすく(どちらかといえば理論よりも実用に重点をおいて)紹介していく。 更新は毎月第2水曜日(1月のみ第3水曜日)

    数理科学的バグ撲滅方法論のすすめ---目次 | 日経 xTECH(クロステック)
  • B3 Annex: Appleエンジニアが語る、Appleがデザインプロセスで行っている4つのコト

    毎年恒例のSXSWは結局、女性雑誌記者による若きFaceBook CEO Mark Zuckerbergとのステージトークが不満足なもので終わったという話題だけが目立ち、なんだかな、と思っていたら、ちょっと面白い記事が出てきた。 これは、AppleのシニアエンジニアリングマネジャーのMichael Lopp氏がSXSWのパネル"Blood, Sweat, and Fear: Great Design Hurts"で語ったものをBusinessWeekがまとめたもの。クリエイティブをどのようにマネジメントしているかが垣間見れる。 以下は、例によってB3 Annex抄訳。 Apple's design process by Business Week 完璧なモックアップを作る(Pixel Perfect Mockups)手間と時間はかかるが、早い段階で、「完璧なモックアップ」を作ることで、すべ

  • Why I've Started Using Twitter Again

    So I’m going to try using Twitter again. Why, after having caused such a (unintended) fuss when I stopped? Twitter continues to be a flashpoint for innovative thinking — I’ve read too much interesting talk about Twitter not to be tuned in (and I need to eat my own dog food about giving new technologies a chance) I’m curious whether a different approach to Twitter will yield different results — I l

    Why I've Started Using Twitter Again
  • はてなブログ | 無料ブログを作成しよう

    新米と秋刀魚のわた焼き お刺身用の秋刀魚を買いました。1尾250円です 3枚におろして、秋刀魚のわたに酒、味醂、醤油で調味して1時間ほど漬け込み、グリルで焼きました 秋刀魚のわた焼き わたの、苦味が程よくマイルドに調味され、クセになる味わいです 艶やかな新米と一緒に 自家製お漬物 土…

    はてなブログ | 無料ブログを作成しよう
    gothedistance
    gothedistance 2008/03/19
    adsbot作ってそいつをフォローしてもらうとか。
  • 9 Benefits of Twitter for Bloggers

    I was a little slow getting onto Twitter last year (when so many other bloggers embraced it). To be honest I didn’t think it had much to offer me – I’m beginning to see how wrong I was. In this post I want to explore how I’m using Twitter to: improve the quality of my blogs network with other bloggers widen my readership grow my profile drive traffic to my blogs Before I get into some of the benef

    9 Benefits of Twitter for Bloggers
  • 研究室における情報共有

    ボクが今の研究室に配属されてから,2年半以上が経った.この間に,研究室での情報共有のスタイルにも様々な変化があり,考えさせられることもあったので,ここらでちょいとまとめておこうと思う. 過去「電話とメール」 配属された頃は,面と向かって交わす会話以外の連絡手段は,ほとんどすべて電話とメールに限られていた.ミーティングの議事録,イベントの出欠管理,相談事などのやりとりは,メールによって成されていた.資産はExcelファイルで管理されていて,最初の人から順番に自分の担当分を書き込んだら次の人にメールで送る,なんてこともあった. 情報共有についてアレコレ考えるようになったのは,同期のみんなでWikiを立ててからだった.論文を書くに当たり,各自が読んだ論文のまとめや研究の進捗状況などが分散していてはよくないと気付き,Wikiを利用することになった.この試みはとても上手く機能し,おかげで参考文献のリ

    研究室における情報共有
  • 友達を作ると楽しいtwitter、友達がいなくても楽しいはてなハイク

    どういった経緯でミニブログブームが起こったのかは知らないのだけど、雨後のタケノコのようににょきにょき出てきたのは、どれもtwitterのクローンばかりでオリジナリティを感じないなぁ、と思っていました。 和製twitterはアカウント取得までの流れが日語で読めるので、twitterよりは敷居が低いと思うものの、元々twitterのアカウント取得はそんなに難しくないわけで、ユーザーの多さを考えれば、家が面白そうと思うのは当然です。 半径ワンクリック内のブロガーにtwitterを始めた人が多くなってきたときに、とりあえずアカウントをゲット。しばらくネット上の知人のログなんかを眺めていたものの、あまり面白さが理解できなかったので、放置していました。 それから数ヶ月後、どういうきっかけだったのか知らないけど、全く更新していないのにfollowしてくれる人が出始めてきたので、その人たちの発言を

  • はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知

    はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28

    はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
  • 多人数チャットのTwitterは「いつでも飲み会」:ナレッジ!?情報共有・・・永遠の課題への挑戦:オルタナティブ・ブログ

    栗原さんが、Twitterのような1:nのチャットサービスはミニブログと呼ばないで「マイクロキャスト」と呼んではどうか?、という提案をされていた。 実は私も昨年の終わり頃からTwitterにかなりはまっている。実はTwitterのアドレスは春頃から持っていたものの最初の頃はミニブログという名前の先入観から何かこまめに発信をしなければと思いこみで構えてしまって、結局誰に何を配信すれば良いのか戸惑ってその面白さがまったく判らなかった。しかし秋頃に単なる多人数チャットツールだと割り切ってからは、面白いと感じるようになったし使い出も判った。今は日々たわいもないことを書いていくのがけっこう楽しい。 こうしてTwitterでコミュニケーションを取っていると時間が過ぎるのを忘れてしまう。このことを同僚のコンサルタントに話をしたところ「それは毎日飲み会やっているようなものですね」と言われた。確かに会社から

    多人数チャットのTwitterは「いつでも飲み会」:ナレッジ!?情報共有・・・永遠の課題への挑戦:オルタナティブ・ブログ
    gothedistance
    gothedistance 2008/03/19
    あっという間にある方向性を共有できるクラスタができるのがTwitterのいいところ。
  • はてなブログ | 無料ブログを作成しよう

    仲春はゆっくりと通り過ぎる 寝て起きたら3月である。今日の東京の最高気温は20度を超えている。正月のインフルエンザが完治して、これでやっと健康で文化的な年度を始められるぞ、と意気込んだのも束の間、今度は原因不明の高熱を出して1週間寝込んだ。 脳がグツグツ煮える音が聴こえそうなほど…

    はてなブログ | 無料ブログを作成しよう
    gothedistance
    gothedistance 2008/03/19
    すごい話だ。知の巨人だと思う。
  • 何がサービスを閉鎖的にするのか - Thirのノート

    はてなは閉鎖的だといわれる。同様にmixiも2ちゃんねるもニコニコ動画も閉鎖的だといわれる。では閉鎖的に見える原因はどこにあるのだろうか? ...簡単な話である。そこにコミュニティ的な要素が存在する限り、外部から見たそれは閉鎖的なものに映る。別に真にコミュニティが存在する必要はない。つまり内部の人が「俺、このコミュニティに属しているから」と自覚している必要はない。外部からみてそこにコミュニティがあるように見えれば、直ちにそれは閉鎖的であると判断される。 もちろん、コミュニティの形成要因はサービスによって様々である。代表的な事例は「会員登録制度によるコミュニティ化」と「共通の話題に伴うコミュニティ化」だろう。個人的には前者を「上からの閉鎖性」、後者を「下からの閉鎖性」と呼んで、同じ閉鎖性でも性質が全く異なることを常に意識するようにしている。*1もちろん、はてな2ちゃんねる等の事例もあるので

    何がサービスを閉鎖的にするのか - Thirのノート
    gothedistance
    gothedistance 2008/03/19
    コミュ力ってよくわからないけど社会性みたいなもんだよね、きっと。
  • はてなハイクとTwitterを言及という視点から比較してみた - noreplyのブログ

    Twitterにおけるbotに対する言及をめぐる会話 Twitterはてなハイクはミニブログというカテゴリで括られる事が多いです。一見してよく似ています。しかし、実際に使ってみると使い勝手に差があります。この差はどこから来るのか? それについてちょっと考えてみたいと思います。 きっかけはTwitter上でのid:koizukaと僕との会話ログ。id:yuisekiのpostが興味深かったので@で反応を投げてみたところ、そのpostに対しkoizukaさんから反応が返ってきました。 yuiseki @coyachi よりも @nicovideojp に向けてpostしたほうがいいかな 年1月20日(日)15時11分33秒 yuiseki @nicovideojp Watching: "ニコニコ動画(RC2)‐【初音ミク・MEIKO】電気グルーヴ「虹」【EMX-1・KP3・Kaossilat

    はてなハイクとTwitterを言及という視点から比較してみた - noreplyのブログ
  • みるたんぷら - twitterログのまとめかた

    不快なポストなどがありましたら、 @miruまでDMもしくはリプライにてご連絡下さい。 ポスト抜けや関連の無いポストを発見した場合も、 @miruまでDMもしくはリプライにてご連絡頂ければ幸いです >ω< みるたんぷら内検索(テスト版/日語の検索はできません) 用意するもの tumblrアカウント twitterアカウント FirefoxRefControl GreasemonkeyAutopagerize (こっちのヤツが便利→ http://d.hatena.ne.jp/os0x/20070912/1189575529 ) minibuffer LDRize ShareTwitterOnTumblr まとめる対象 根性 準備 Firefoxをインストール Greasemonkey関係のインストールAutopagerize → minibuffer → LDRize → S

  • 会社を作って半年たったまとめ - id:lopnor

    こんにちは、檀上です。2007-09-19に株式会社ソフリットを登記して、今日で半年になります。あっという間です。おかげさまで新しい生活にも慣れ、日々楽しく過ごしています。会社も1月に初めて単月黒字が出て、なんとか通期で黒字が出せそうな感じになってきました(まだまだ厳しいですが)。ということで、会社を作った今期の前半を振り返るまとめエントリーを書いてみようと思います。これまでもいくつかそういうまとめを書くタイミングがあったような気がするのですが、悉く逃してきたので、今回は頑張ります。正直ブクマ狙ってます。 会社の説明(追記) 株式会社ソフリット http://soffritto.org/ ウェブアプリケーションの開発保守やその受託などをやってます。 一人でやってます。 退職〜設立 7月に退職を決意し、7/31に退職願を出して受理される。 8月は飲み会の嵐。サシで呑みまくった。 8/31に退

    会社を作って半年たったまとめ - id:lopnor
  • twitter を中心にした文章生成作法 - レジデント初期研修用資料

    レジデント初期研修用資料 引っ越し前の旧blogです。新しいアドレスは http://medt00lz.s59.xrea.com/wp/ になります この数ヶ月間のやりかた。そこそこうまくいく。 アイデア出しと、それを文章にするまで。あと必要な「量」のお話。 アイデアは一瞬で腐る アイデア出しは twitter 。twit という専用ツールを常時起動しておくと、 クリックから書き込み可能になるまで0.5 秒ぐらい。 「コンマ秒」を追求するのは、アイデアを出すときにはとても大切。 アイデアが浮かんでから、それを文章に定着させるまでの時間というのは、短ければ短いほどいい。 「1 時間を10分に」なんてスケールではなくて、1 分では遅すぎて、最低でも1 秒以内、 「コンマ秒」を縮められるなら、ツールを総とっかえしてもいいぐらいに大切。 アイデアは、生まれた瞬間から腐りはじめて、すぐに蒸発する。

    gothedistance
    gothedistance 2008/03/19
    これは企画を作るときにも使える考え方。
  • モッチーに絶望した - ひがやすを技術ブログ

    目からうろこが何枚も落ちた オープンソースの“人間的質” Matzは、すごい人だけど、Matzとの対談で、オープンソースの人間的質がわかったと思っているモッチーには、絶望したよ。 オープンソースはいろんな人がいるんだからさ、Matzと違うことを考える人もいっぱいいるよ。そんなのあたりまえ。 例えば、 オープンソース世界では、他者に何かを強制する道具立てがまったく存在しない。「お前、これをやれ」と人に強いるための裏づけがない。経済的な取引という概念も存在しなければ、雇用関係を基盤とする組織的指示命令系統も存在しない。すべては参加者の自発性だけに委ねられて、プロジェクトが進行する。プロジェクトが成功するも失敗するも、すべて参加者の自発性次第なのだ。ならばその自発性はどこから生まれるのだろうか。そこにオープンソースを考える質がある。 「私の動機は利己的なものです」 Matzは、いい意味で利

    モッチーに絶望した - ひがやすを技術ブログ
  • ちょっと覚えておくといいかもしれないお金の計算方法を2つほど - IDEA*IDEA ~ 百式管理人のライフハックブログ ~

    ドットインストール代表のライフハックブログ

    ちょっと覚えておくといいかもしれないお金の計算方法を2つほど - IDEA*IDEA ~ 百式管理人のライフハックブログ ~