タグ

2010年9月13日のブックマーク (14件)

  • Doxygen

    ソースコード・ドキュメンテーション・ツール Doxygen は、C++、C、Java、Objective-C、Python、IDL (Corba、Microsoft 風)、Fortran、VHDL、PHP、C# 向けのドキュメンテーション・システムです。 D にもある程度対応しています。 Doxygen には、次の3つの利点があります。 文書化されたソースファイルのセットから、 オンライン・ドキュメント・ブラウザ (HTML形式) やオフラインのリファレンス・マニュアル (形式) を生成することができます。 RTF (MS-Word)、PostScript、ハイパーリンク PDF、圧縮 HTML、Unix man ページ形式の出力もサポートされています。ドキュメントは、ソースから直接抽出されます。これにより、ドキュメントとソースコードの一貫性を保つことがとても容易になります。 Doxyge

  • JavaScript で Lisp の処理系 (と REPL) を実装してみた - mooz deceives you

    MiSPLi: http://mooz.github.com/mispli/ MiSPLi Emacs に出会ったのが三年前. それから一年程して elisp をいじり始めたので, 僕と Lisp との付き合いはかれこれ二年ほどになる. JavaScript を始めたのが一年前だから, 僕の中では C 言語に次いで付き合いの長い言語だ. 必要にかられたときにちょこちょこと elisp を書いて, 終わったらしばらく別れを告げる. そんな中途半端な付き合いを続けていた三月も終盤, 竹内先生の書かれた「初めての人のための LISP」を読み, その内容に深い感銘を受けた. Lisp を Lisp で実装する, といった章があり, これまで何となしに使っていた Lisp の中身を垣間見ることができたような, そんな気分になっていた. その時に, 「ひょっとしたら僕にも Lisp の処理系を実装でき

    JavaScript で Lisp の処理系 (と REPL) を実装してみた - mooz deceives you
  • YABUKI Taro’s Home Page | 2018/08/19 フィードのURLが変わりました。

    不完全性定理のLisp, Mathematicaによる記述 Lisp code / Mathematica notebook プログラミング言語なんてどれも同じと思っている人は下の3つをJavaC++で書いてみてほしい 不完全性定理についてのゲーデルの証明の一部 停止問題の解決不可能性についてのチューリングの証明 LISP式がエレガントであることを証明できないというチャイティンの証明 ライプニッツ「役に立たないパラドックスは無い」(チャイティン「知の限界」) ミンスキー「ゲーデルはLispを思いついておくべきだった。もし彼がLispを思いついていたならば彼の不完全性定理の証明はもっと簡単なものになっただろう」(ホフスタッター「メタマジック・ゲーム」) 次の2冊のはLispといってもSchemeのようなオリジナル言語が使われている。ここではCommon LispとEmacs Lisp、M

    tomo31415926563
    tomo31415926563 2010/09/13
    Lispで記述することにより不完全性定理がエレガントに証明されている。美しい。
  • fladdict » iPhoneアプリ審査での111の禁止項目(意訳)

    ついに明らかになった、iPhoneアプリのリジェクト基準条項。 Engadetが公開したPDFをベースに、リアルタイムに更新中。 とりあえずリアルタイムに翻訳を作成中。 おもいっきり意訳なので、間違いの指摘や突っ込みはコメント欄かTwitterでお願いします。 <このリストは、2010年9月10日現在のものです。また意訳なので、気になる条文は原典をチェックすること。> 2. 機能 2.1: クラッシュするアプリはリジェクト。 2.2: バグのあるアプリはリジェクト。 2.3: 開発者の申請したものと違うアプリはリジェクト。 2.4: アプリの紹介文にない隠し機能を持つアプリはリジェクト。 2.5: 非公開のAPIを用いたアプリはリジェクト。 2.6: サンドボックス外のデータを読み書きするアプリはリジェクト 2.7: 実行コードを外部からダウンロードするアプリはリジェクト 2.8: 他の実

  • モバゲーをけなす30代男性を見て思うこと::村上福之の「ネットとケータイと俺様」:オルタナティブ・ブログ

    南場社長の「ソニー・任天堂は還暦」発言のスレッドにブログのデータがコピーされて、「はちま」や「痛いニュース」やニュー速VIPやその他あっちこっちに飛び火してる。ディスりかたがすごいなぁ。はてブの意見や2ちゃんの意見を見て、思ったことをスライドにまとめてみた。 1.今と昔(1) 2.今と昔(2) 3.今と昔(3) 4.今と昔(4) 5.永遠に繰り返されるの大人の法則 6.永遠に繰り返されるの若者の法則 6.結論 ついったーやってます。暇ならレッツフォロー!↓公式ボタンでつぶやけるよ! Tweet (追記)「モバゲーで課金しているのは子供じゃない」とかいろいろご意見をいただいております。ごもっともです。ここで言いたいのは「俺たち、いつの間にか、新しい物に文句を言う方の側に回ってしまったよ。さみしいな。」ということなんですよ。このエントリーは市場性がどうのこうのではなく「ぼくはら、もう、夏の終

    モバゲーをけなす30代男性を見て思うこと::村上福之の「ネットとケータイと俺様」:オルタナティブ・ブログ
  • ソーシャル型広告の「Facebook広告」ってすごくね?|ホットココア社長日記 @egachan

    「Facebook広告」は上記の、 「付加価値を付け、高単価でクライアントに提供する。」 と言う部分が神がかっています。 今日はそのFacebook広告について、日のネット広告の現状を説明したうえで、紹介したいと思います。 スケールするWebサービスの法則この土日は、「スケールするWebサービスの法則ってなんだろう。」 って事を念頭にずーーっと、考え居ました。 で、結論として僕が導き出した結論は、 広告に対しての考え方が明るい会社が強い。 と言うことでした。 今、インターネット業界では10年前には考えられないほど、 Webサービスの広告がテレビCMとして放送されています。 Googleを始め、大手WebサービステレビCMに限らずかなり広告を売っています。 僕は、「広告を制したものがWebサービスを制する」と思っています。 GREEもインタビューで、「テレビCM

  • 昨日からネットで大騒ぎ "PhotoSketch"が凄い件:In the looop:ITmedia オルタナティブ・ブログ

    Gizmode, CNET, Mashable と立て続けに記事になり,凄すぎると話題のPhotoSketch。 TwitterでもBuzzりまくっています。 【Twitterで旬な話題を調査できる "CrowdEye" より】 (2009年10月7日データ) それでどんなサービスかというと,ラフスケッチの情報をもとに,それに最適な画像をネットが集めてきて,しかも信じられないほど巧妙に合成写真を完成されるというものです。 開発元は Tsinghua University(清華大学)とNational University of Singaporeの共同チーム。 とにかく,まずこの動画を見てください。 PhotoSketch: Internet Image Montage from tao chen on Vimeo. つまり, ごく適当にイメージを書く。 これに名前をつける。 あとはシステ

    昨日からネットで大騒ぎ "PhotoSketch"が凄い件:In the looop:ITmedia オルタナティブ・ブログ
    tomo31415926563
    tomo31415926563 2010/09/13
    欲しい合成写真をスケッチから作る。すごい。
  • 日本の生命線・希少元素を置き換える : 有機化学美術館・分館

    9月13 日の生命線・希少元素を置き換える 近年学術誌の表紙が凝ったものになりつつあることは以前にも書きました。で、実は筆者自身もこの波に一枚�筋むことになりました。最新のJournal of Organic Chemistryの表紙のデザイン(下図)、筆者の基アイディアのもと制作していただいたものです。中村栄一教授のグループによる、C-H・C-X・C-C結合を切断する鉄触媒の総説ということで、日刀にこのイメージを託しました。 鉄を用いる触媒反応は近年大きく進展しつつある分野であり、特に日が先陣を切って研究を進めています。また先日書いた鉄系超伝導物質も、東工大の細野秀雄教授らが切り開き、世界を先導している分野です。 こうした希少金属(レアメタル)から豊富に存在する金属への置換は、日の生命線にかかわる研究であるといえます。産業の様々な分野で不可欠であるレアメタルが、どんどん入手困難

    日本の生命線・希少元素を置き換える : 有機化学美術館・分館
  • asahi.com(朝日新聞社):海にプカプカ、風車で発電 環境省が実用化実験へ - 社会

    環境省は、海に風車を浮かべて発電する「浮体式洋上風力発電」の実用化に向けて、海域での実証試験に乗り出す。海底に直接据え付ける「着床式」に比べて、「浮体式」は、より深い海域でも使えるのが特徴で、洋上で風力発電が可能なエリアが広がるという。2012年度に実証機をつくり、16年度の実用化をめざす。  陸上に風力発電施設をつくる場合、好適地が限られているうえ、景観の妨げになったり、騒音が問題化することもある。これに対し岸から離れた沖合は、景観や騒音の影響が少なく、風力発電の新たなフィールドとして期待されている。日の領海と排他的経済水域(EEZ)は計約447万平方キロと世界6位の広さがあり、風が強く洋上風力発電に適した海域も多い。  環境省は、沖合30キロ未満で水深50〜200メートルの海域を対象に海上の風の強さなどを分析。浮体式洋上風力発電によって生み出せるエネルギーの潜在量は、原発56基分に相

  • 東北大、なんとゼリーに電極を印刷する技術を開発

    東北大学が寒天やコラーゲンなどのゼリー(ハイドロゲル)の表面に、導電性高分子による電気回路を印刷する技術を開発しました。 通常の電気回路に水分は厳禁ですが、近年、脳や筋肉の機能を計測し制御するために、水分で 満ちた体内環境でも使える電極が必要となっています。細胞や組織はデリケートで、しかも動く ため、従来のシリコンやガラスを基板とする硬い電極に代わり、柔らかいシート状の電極が望ま れてきました。また、生化学的な安全性はもちろん、栄養分や酸素などの循環を邪魔しないのが 理想です。このような要求を満たすのは、コラーゲンなどの生体を構成するゼリー(ハイドロゲ ル)ですが、既存の印刷技術は「インクの乾燥」が必要なため適用できませんでした。今回、ハ イドロゲルの表面に導電性高分子電極を析出させる電気化学技術によって、この問題を解決しま した。 とのことです。 導電性高分子やゲルは安全性に優れていて、

    tomo31415926563
    tomo31415926563 2010/09/13
    これはすごい。サイバネ技術に応用されそう。
  • “人工木陰”で都市冷やせ 幾何学模様の日よけ開発 京大教授 - MSN産経ニュース

    樹木の構造に似た、綿密に計算された幾何学デザインで“人工木陰”をつくる日よけを、京大の酒井敏教授(地球流体力学)が開発、試作品を東京の大型商業施設の屋外広場に設置した。ヒートアイランド現象を抑える効果があるという。過去の実験で、地表面の温度を約15度下げる効果を確認。樹脂加工メーカーが製品化を目指している。 日よけは、小さな三角すいをつなげて大きな三角すいをつくる「シェルピンスキー四面体」を採用。夏の午前10時と午後2時ごろで日射の約70%、正午前後だと約90%を遮蔽(しゃへい)できる。平屋根と違い、個々の三角すいの表面積が木の葉のように小さく風通しが良いため効率よく熱を逃がす。平屋根の下より体感温度が2〜3度低いという。 昨年、東京・日科学未来館で検証した結果、直射日光下の地面の温度に比べ、日よけの下は最大約15度低かった。日よけ自体の温度は平屋根を最大約20度下回った。

  • 世界の歴史の動きをビジュアル化したFlashがすごい - ネットナナメ読み - 山田井ユウキ - builder by ZDNet Japan

    builder読者の皆さん、こんにちは。 金曜日担当の山田井ユウキです。 今日は世界の歴史をとても楽しく勉強できる面白フラッシュをいくつかご紹介したいと思います。 僕も学生時代には世界史を専攻していたのですが、 歴史って暗記科目だと思うと急につまらなくなってしまうんですよね。 そうではなくて、大きな流れをイメージしながら物語を読み解くつもりで勉強していくと、とても楽しい科目に化けます。 で、その大きな全体の流れを把握するのに便利なフラッシュがこれ。 まずは東アジアバージョン。 ■東アジア西暦0~2000 右を向いている三角の矢印をクリックすると、西暦0年から2000年に向かってゆっくりと地図が変化していきます。 そのとき勢力図がどうなっていたのかだけでなく、各勢力がどのようにして拡大し、ぶつかり、そして滅んでいったのかがよくわかります。 途中経過はこんな感じ。日はあまり変化しないですね。

  • IBM Developer

    IBM Developer is your one-stop location for getting hands-on training and learning in-demand skills on relevant technologies such as generative AI, data science, AI, and open source.

    IBM Developer
  • Eclipse (統合開発環境) - Wikipedia

    Eclipse(イクリプス、英: Eclipse)は、コンピュータプログラミングにおいて使用される統合開発環境(IDE)である[3]。ベースとなるワークスペースと、環境をカスタマイズするための拡張可能なプラグインシステムが含まれている。Eclipseは主にJavaで書かれており、主にJavaアプリケーションの開発に使用されるが、Ada 、ABAP、C 、C ++ 、C# 、Clojure 、COBOL 、D、Erlang、Fortran 、Groovy 、Haskell、JavaScriptJulia、[4] Lasso、Lua、NATURAL、PerlPHP、PrologPython、R、RubyRuby on Railsフレームワークを含む)、RustScala、Schemeなどのプラグインを介して他のプログラミング言語のアプリケーションを開発するために使用することもできる。

    Eclipse (統合開発環境) - Wikipedia