C++で論理型言語コンパイラを書いてみる
C++ で、論理型言語(GHC)コンパイラを書く 論理型言語コンパイラを作る理由 基本ポリシー: いろいろ諦める GHC の基本 実装関連 C++ を使う理由 論理変数を実装する ゴールのコンパイル ゴールキューと疑似マルチタスク 疑似マルチタスクから本当のマルチタスクへ 最適化 ガベージコレクション Boehm GC を C++ で使うための調査 ガベージコレクションの実装 JavaScript で GHC [JavaScript] 8-queen [JavaScript] Canvas を使った描画 [JavaScript] 組み込み述語の書き方 (メモ) KLIC との比較 GraphViz と GHC オブジェクト構造の可視化(案) GraphViz によるグラフィカルデバッグ GHC プログラミング 入出力と順序制御 竹内関数と遅延評価 [JavaScript] wait/1 と
JSDeferredで、面倒な非同期処理とサヨナラ 記事一覧 | gihyo.jp
運営元のロゴ Copyright © 2007-2024 All Rights Reserved by Gijutsu-Hyoron Co., Ltd. ページ内容の全部あるいは一部を無断で利用することを禁止します。個別にライセンスが設定されている記事等はそのライセンスに従います。
Robert Penner's Easing Functions
A collection of swappable functions that add flavor to motion. Visualize Easing Cheat Sheet for jQuery, CSS, SCSS Easing Function Generator Learn Tweening chapter of my book Ease Yourself Into Animation (great preso) Understanding Easing: Explaining Penner's Equations Interpolation Tricks Code JavaScript jQuery Easing Plugin CSS, SCSS, LESS ActionScript 3.0 (single class) ActionScript 3.0 (classes
Webデザイン・Webデザイナーのまとめサイト | Webデザインに優れたサイトのリンク集 ≪デザインリンクデータベース≫
～10程度っすよ ～50程度かな ～100くらい ～300程度です ～500はこなす ～1000はやってます これ以上 ( ! )
やればできる卒論の書き方 第１部 論文の書き方
やればできる 卒業論文の書き方 中田 亨 2003年10月15日初版。2009年4月27日改訂 工学部の標準的な卒論の書き方について説明します。修士論文でも博士論文でも書き方は同じです。 第１部 卒論クイックスタート 卒論とは？ 他人の真似ではないアイデアが、 それが理論的に可能である理由、 やってみた証拠、 どんなふうに役に立つか、 とともに記述されている、組織立った文書。 卒論は習作であり、基準は甘い。対外発表論文では第１条が「他人のアイデアより明らかに優れたアイデア」と厳しくなる。 「新しい意味を伝えることが、命題の本質である。」（ウィトゲンシュタイン） 標準的な卒論の構成 題目： 説明的なタイトルを付ける。例えば「人体計測装置の研究」では舌足らずであり、「赤外線平行投影法を用いた人体計測装置」とか、「海中でも使用可能な人体計測装置」などがよい。（私の上司の金出武雄氏の方式）。 要約
襲ってくるんだがこれ何？ 働くモノニュース : 人生VIP職人ブログwww
1 名前：以下、名無しにかわりましてVIPがお送りします：2009/12/05(土) 18:33:06.61 ID:K2yu/zl20 賢者モードとかそういうのじゃなくて病気じゃないのかな？ なんか気を抜いたらチンコ出したまま死んでしまいそうで怖くてオナニーできない 5 名前：以下、名無しにかわりましてVIPがお送りします：2009/12/05(土) 18:34:04.95 ID:jK9sT3lz0 いやそれ誰でもあるから 9 名前：以下、名無しにかわりましてVIPがお送りします：2009/12/05(土) 18:35:50.44 ID:K2yu/zl20 大丈夫なのか…ならいいんだが… なんかフッと意識が消えかける感じですげー怖い 28 名前：以下、名無しにかわりましてVIPがお送りします：2009/12/05(土) 18:44:39.09 ID:ZDrgnAFm0 教えてやる。 オナニ
1日6分でOK、「割れた腹筋」を手に入れろ | スラド
ストーリー by hylom 2009年12月05日 12時00分 俺の腹はそんなんじゃ改善しないぜ？ 部門より ブログ「情報屋さん」の記事によると、「1日6分で“割れた腹筋”を手に入れる腹筋法」としてYouTubeに動画が公開されているようだ（動画）。 1日6分なら……なんて思って思わず再生してしまったのだが、最後まで見てみて思ったことは意外に6分という時間が長いということだった。また、筋トレの内容も一見簡単そうでいてかなりハードで、ブログのコメント欄にもあるように下手をすると腰を痛めてしまいそうな感じもする。 来年の夏を攻略したい方は、今から試してみてはいかがだろうか？
Math book
メインページ / 更新履歴 数学：物理を学び楽しむために 更新日 2024 年 3 月 18 日 （半永久的に）執筆中の数学の教科書の草稿を公開しています。どうぞご活用ください。著作権等についてはこのページの一番下をご覧ください。 これは、主として物理学（とそれに関連する分野）を学ぶ方を対象にした、大学レベルの数学の入門的な教科書である。 高校数学の知識を前提にして、大学生が学ぶべき数学をじっくりと解説する。 最終的には、大学で物理を学ぶために必須の基本的な数学すべてを一冊で完全にカバーする教科書をつくることを夢見ているが、その目標が果たして達成されるのかはわからない。 今は、書き上げた範囲をこうやって公開している。 詳しい内容については目次をご覧いただきたいが、現段階では ■ 論理、集合、そして関数や収束についての基本（2 章） ■ 一変数関数の微分とその応用（3 章） ■ 一変数関数の
頭脳対談2
Intelと互換プロセッサとの戦いの歴史を振り返る （2017/6/28） Intelのx86が誕生して約40年たつという。x86プロセッサは、互換プロセッサとの戦いでもあった。その歴史を簡単に振り返ってみよう 第204回 人工知能がFPGAに恋する理由 （2017/5/25） 最近、人工知能（AI）のアクセラレータとしてFPGAを活用する動きがある。なぜCPUやGPUに加えて、FPGAが人工知能に活用されるのだろうか。その理由は？ IoT実用化への号砲は鳴った （2017/4/27） スタートの号砲が鳴ったようだ。多くのベンダーからIoTを使った実証実験の発表が相次いでいる。あと半年もすれば、実用化へのゴールも見えてくるのだろうか？ スパコンの新しい潮流は人工知能にあり？ （2017/3/29） スパコン関連の発表が続いている。多くが「人工知能」をターゲットにしているようだ。人工知能向け
Mozilla Re-Mix: Firefox上で「Google ツールバー」を自動的に隠す方法。
FirefoxやThunderbirdはWEBユーザーの必須アイテム。 初心者からヘビーユーザーまで使える！便利でクールなFirefox拡張機能（アドオン）の使い方やカスタマイズ、Mozilla関連情報をどうぞ。 Adobe 「Flash Player」を緊急アップデート。 by hoge (07/16) Adobe 「Flash Player」を緊急アップデート。 by H.I. (07/16) ウェブページから余計なコンテンツを排除して読みやすく表示できるFirefoxアドオン「Tranquility Reader」 by しんちゃん (07/11) YouTubeのHTML5動画に表示される広告をブロックしてくれるFirefoxアドオン「YouTube Advertisement Blocker」 by はち (06/17) ウェブページ上の不要なリンクを非表示にできるFirefox
グーグル先生を超える良回答連発、Powersetを使ってみた − ＠IT
2008/05/15 インターネットの検索でエポックメーキングな出来事は2度しか起こっていない。1994年にジェリー・ヤン氏らが立ち上げたヤフーがインターネットに検索をもたらしたときと、1998年にラリー・ペイジ氏らがグーグルを立ち上げ、Webページの重要度を示す「PageRank」という概念を導入したときだ。検索連動広告の発明もビジネス的には大きなステップだったが、使い勝手の向上というユーザー視点での転回点は2つだけだ。いま、ベンチャー企業の米Powersetが注目を集め、3つ目のイノベーションを起こすかどうかが注目されている。 ネット検索の歴史：数から順位への転換 Powersetが解決しようとしている問題を明確にするために、インターネットの検索エンジンの歴史を少しだけ振り返ってみよう。 グーグルが登場する以前、各検索サイトは、自分たちがいかに多くのWebページをクロールし、検索に対し
Wolfram|Alpha: Making the world’s knowledge computable
Compute expert-level answers using Wolfram’s breakthrough algorithms, knowledgebase and AI technology Mathematics ›Step-by-Step SolutionsElementary MathAlgebraPlotting & GraphicsCalculus & AnalysisGeometryDifferential EquationsStatisticsMore Topics »Science & Technology ›Units & MeasuresPhysicsChemistryEngineeringComputational SciencesEarth SciencesMaterialsTransportationMore Topics »Society & Cul
基本は『三段構成』――今さら聞けないビジネスメールの書き方 - はてなニュース
メールのやり取りなしにビジネスをするのは難しい時代になりましたが、ビジネスメールの書き方に自信が無いという人も多いと思います。そこで今回は、ネット上のビジネスメール記事を参考にしながら、ビジネスメールの書き方の基本について簡単に確認してみましょう。 さて、一口にビジネスメールと言っても、「相手に自分から送信するのか、返信するのか」、「社内向けか、社外向けか」、「初めての相手か、二度目以降なのか」など、状況に応じて様々な書き方が存在します。とりあえずここでは、最もフォーマルな書き方が要求される「社外」の「初めての相手」に向かって「送信」するという状況を想定して紹介します。 さて、ビジネスメールは、基本的に以下のような3つのブロックによって文章が構成されます。 1. 前文 2. 本文 3. 末文 前文では「相手への挨拶とメールを送った目的の説明」、本文では「メールの用件の具体的内容」、末文では
日本科学未来館 Miraikan
未来館は第一線で活躍する科学者をはじめ、さまざまな分野の専門家とともに、展示やツールの開発にとりくんでいます。
使用済み電球を「テラリウム」にDIYし、デスクで苔を栽培する方法 | ライフハッカー・ジャパン
ライフハッカーでは以前、ワインボトルをテラリウムにリユースする方法をご紹介しましたが、こちらでは、使用済の電球をこれに活用する方法について採りあげてみたいと思います。 おなじみのDIYブログメディア「Instructables」では、切れた電球をちっちゃなテラリウムにし、デスクで植物を栽培する方法をご紹介しています。 ちなみに、これを実践する上で、2つほど注意点があります。 注意1: 蛍光灯電球は使わない 中のコーティングに使われている粉は蛍光体からできており、毒性があります。くれぐれも蛍光灯電球以外のものをお使いください。 注意2: ガラスに気をつける 電球のガラスには十分ご注意ください。目の保護はお忘れなく。ガラスが割れるのに備えて、手袋を使うか、タオルで電球を巻くようにしましょう。 では、ペンチとドライバーを使って、電球を空っぽにする手順に進みましょう。詳しくはこちらの画像付記事をご
女子感激！5000円以下で喜ばれるプレゼント | nanapi[ナナピ]
女子感激！5000円以下で喜ばれるプレゼント に関するライフレシピをご紹介します。nanapi [ナナピ]は、みんなで作る暮らしのレシピサイトです。はじめに 誕生日や記念日、ケンカのあとや、何かをしてあげたあと…。女子は少なからずプレゼントを期待しています。そのくせ、自分の趣味に合わないものを贈ると不機嫌になるから厄介ですよね。 そこで、ここでは、失敗が少なそうなプレゼントで、5000円以下のものをピックアップしてみたいと思います。彼女や好きな子だけでなく、女友達や同僚へのお礼や記念品としても最適な額です。 相手の嗜好を把握しているなら、より良いものが選べるはず。喜んでくれそうな人物像と価格も想定しましたので、参考になれば幸いです。 彼女に初めてあげるプレゼントは、本人が拒否しない限りは、指輪かペンダントが良いと思います。 服や靴はこだわりやサイズ感があるので、プレゼントとしては難易度が
教えて下さいタイ風カレーの作り方:アルファルファモザイク - ２ちゃんねるスレッドまとめブログ
1）鳥のもも肉とナスを一口大の大きさに切りナスは薄塩水に10分位つけておく 2）鍋にサラダオイルを入れきざんだニンニクと生姜キツネ色炒になるまで炒める。 3）GreenCurryを入れ焦がさない様に良い香りがつくまで炒める。 4）鶏肉を入れ炒める。鶏肉の表面が炒まったらココナッツミルクと2カップ位の水を入れかき混ぜながら中火で混ぜる（焦がさない様にね） 5）マッシュルームとコブミカンの葉を入れ蓋をして弱火で20分くらい煮込む 6）ナスを入れナスが煮えたら蓋を取って砂糖小さじ1杯、ナムプラー大さじ１杯を入れ味を見る。塩気が足りなかったらナムプラーを足す。 7）火を止め鍋が冷えるまで蓋は取ったままにする。冷えたら蓋をして半日〜１日寝かせる 8）食べる前にじっくり弱火で温める。味が一味足りないと思ったら砂糖を追加すると美味しいよ。 9）ご飯とは別の容器でよそってね。 LET'S
【第19話】言葉の習慣が人格を作る：日経ビジネスオンライン
もう数年前のことですが、日本コカ・コーラの関連会社の社長を務めている友人のオフィスへふらりと立ち寄ったところ、社長室の壁に1枚の額がかかっているのが目に留まりました。 何気なく読み出すうちに、私の体に電流が走りました。人との関わり合いの場で「ナルホド」と参考になる素晴らしいキーワードだったので、その場でコピーを無心して、以後大切に保管しています。 後で聞いたところによると、それは1923に社長の座に就き、約30年にわたってコカ・コーラ社の経営の采配を振るったロバート・ウッドラフ氏の言葉とのこと。原文は英語ですが、日本語を添えて内容の前半部分をご紹介しましょう。 ■The Most Important Words（最も重要な言葉）
武田斉紀の「企業理念は会社のマニフェスト」：日経ビジネスオンライン
このコラムについて 企業理念を「経営者が何を大切にしながら何をめざして経営するかを社内外に約束し宣言するもの」ととらえる時、会社経営にとっての企業理念は、政党にとってのマニフェストと同じ役割を担う。 経営者が最初にやるべきことは、企業理念を掲げることであり、新しい経営者は従来の企業理念の内容を見直し、リーダーとして100％自分が納得できるものかどうかを確認する必要があります。そして掲げた以上は、努力が足りずに守れなければ経営責任を取るべきです。 マニフェスト経営は厳しいばかりではありません。本来めざすところは、「社長、幹部、社員がその役割を変えながらも、共通の目的と価値観をもち、共に切磋琢磨しながら、みんなが幸せに働ける会社を作ること」です。このコラムではマニフェスト経営の事例や、実現するノウハウについて、現場レベルの視点も踏まえながらご紹介して参ります。 記事一覧 記事一覧 2009年1
英語上達完全マップを10ヶ月やってみた
森沢洋介さんが提唱した英語学習法です。詳しくは公式サイトか書籍を読んでください。 マップに従って10ヶ月勉強した結果、TOEIC 890点を一発で達成できたので、その過程を出来るだけ詳細にまとめました。 なお、マップを理解していることを前提とし、それぞれのトレーニングのやり方は説明していません。 あなたが英語をモノにしたいと考えているのであれば、マップを一読することを激しくおすすめします。 TOP 2009年1月 TOEIC 300点前後(推定) ※数年前に大学の授業でやった模試がそれくらい 学生時代から英語は苦手で嫌い。推薦だったので学校の勉強はそれなりにやったが、受験英語はやったことがない。 発音記号がひとつも読めない。中学レベルの文法と単語はなんとか覚えているが、完了形と関係代名詞はあやふや。 2009年10月 TOEIC 890点 L460 R430 ※スコアシート マップに実現で
Googleの無料パブリックDNSサービス「Google Public DNS」を使ってネットのアクセス速度を上昇させる方法
Googleが先日の「Google 日本語入力」に続いて今度は無料で使えるパブリックDNSサービス「Google Public DNS」を出してきました。DNSのアドレスは「8.8.8.8」「8.8.4.4」というなかなか縁起の良い末広がりの数字を山ほど突っ込んでおり、覚えやすくなっています。 Googleによると、このDNSを自分のパソコンに設定することでページを表示するまでの速度が上昇し、セキュリティもアップするとしています。 というわけで、実際にWindowsで設定する方法は以下から。 Google Public DNS http://code.google.com/intl/ja/speed/public-dns/ Official Google Blog: Introducing Google Public DNS Using Google Public DNS ・Windows
Google Chrome 拡張ことはじめ - 2nd life (移転しました)
2009年12月8日*1(日本時間では12/9朝)、拡張機能が有効(除くOSX)な Google Chrome ベータ版がリリースされました。同時にこつこつ開発を続けてた、はてなブックマーク Google Chrome 拡張ベータ版も公開したので、良かったら使ってみてください :D http://hatena.g.hatena.ne.jp/hatenabookmark/20091209/1260314705 というわけで、Google Chrome 拡張を作ってみたのですが、その時に参考にした資料やドキュメントをまとめてみました。 Google Chrome 拡張APIドキュメント http://code.google.com/chrome/extensions/docs.html 基本的に上のURLで必要なAPIのドキュメントはまとめられています。またページ中央下の「Doc versio
科学史上最悪のスキャンダル？！ "Climategate" - 化学者のつぶやき - Chem-Station
一般的な話題 科学史上最悪のスキャンダル？！ “Climategate” 2009/12/7 一般的な話題, 化学者のつぶやき, 日常から Climategate, クライメイトゲート, 二酸化炭素, 京都議定書, 国連機構変動枠組条約会議, 温暖化, ＣＯＰ１５ 投稿者: StarryNight 既に海外のメディアでは大きく取り上げられており、日本でも数々のサイトで取り上げられていることなのでご存知の方も多いかと思いますが、去る１１月に起きた、「Climategate事件」についてのつぶやきです。（＊筆者が尊敬する科学者H.M氏より情報提供・ご協力を得ての執筆です） 長いので先に簡単にまとめると、 ・地球温暖化に関する大御所研究者のこれまでのデータとemail等が流出 ・そのデータから、研究の不正・印象操作が発覚（地球温暖化はＣＯ２が主要因ではない＆そもそも温暖化してない？！） とのこと
先取り！ Google Chrome Extensions 記事一覧 | gihyo.jp
運営元のロゴ Copyright © 2007-2024 All Rights Reserved by Gijutsu-Hyoron Co., Ltd. ページ内容の全部あるいは一部を無断で利用することを禁止します。個別にライセンスが設定されている記事等はそのライセンスに従います。
@IT: 「ぼくはまちちゃん」 ――知られざるCSRF攻撃
ある日、大手SNS（Social Networking Site）のmixiの日記にこのような書き込みがあった。それも1人だけでなく、同日に数多くのユーザーの日記に同じ文面が掲載されていた。 これは、単にこのような文章がはやり、ユーザー自身が意図して掲載したのではなく、ある仕掛けによってユーザー自身が気付かないうちに引き起こされた現象なのである。その仕掛けとは、CSRF（Cross-Site Request Forgeries）と呼ばれる攻撃手法の一種だ。 編集部注： 現在、「はまちちゃん」トラップは、mixi運営者により対策されています。上記のサンプルは、mixi風に再構成したものです。 本稿の内容を検証する場合は、必ず影響を及ぼさない限られた環境下で行って下さい。また、本稿を利用した行為による問題に関しましては、筆者およびアイティメディア株式会社は一切責任を負いかねます。ご了承ください
連載インデックス「Androidで動くJavaアプリ開発入門」 - ＠IT
連載インデックス 「Androidで動くJavaアプリ開発入門」 初心者のための入門連載です。「Androidアプリとは何か」の基礎知識から開発環境の構築（Android Studio、SDK ToolsとEclipse ADT、NDK、エミュレーターなどのインストールや使い方）、Java言語で書くアプリ開発の基本的なところから、最新版5の新機能までまとめて解説します。Activity、Intent、サービス、WebView、ゲーム開発、センサー、カメラ、位置情報／GPS、Bluetooth通信、NFC、Android Wearなど ※本連載のアップデート版連載は「実業務でちゃんと使えるAndroidアプリ開発入門」として連載中です。 Javaでの常識が通用しないAndroidにおけるメモリ管理の注意点 実業務でちゃんと使えるAndroidアプリ開発入門（3） Androidアプリのメモリ
チケット駆動開発のFAQ - プログラマの思索
チケット駆動開発についてのFAQをまとめてみた。 他に聞きたい質問があれば、コメントして下さい。 チケット駆動開発のFAQを集めれば、チケット駆動開発を普及させるのに役立つと思うから。 【元ネタ】 チケット駆動開発 … ITpro Challenge のライトニングトーク (4) - まちゅダイアリー(2007-09-07) TiDD：チケット駆動開発: ソフトウェアさかば RedmineとTracの機能比較: プログラマの思索 脱Excel！ Redmineでアジャイル開発を楽々管理 － ＠IT自分戦略研究所 Tracのワークフロー: プログラマの思索 ワークフロー機能のカスタマイズ方法 - かおるんダイアリー そろそろTracのワークフローについて語っておくか - almost nearly dead チケット駆動開発は進捗報告作りをどのように解決しようとするか？: プログラマの思索
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
cocolog
引越れんらく帳
辞典・百科事典の検索サービス - Weblio辞書
ちょっと便利帳
Powerset Home
まとめ：撮る＆撮られる〜記念写真をワンランク上にする方法17選 | ライフハッカー・ジャパン
IBM Developer
IDEA * IDEA
2009/12/10 GPUコンピューティングの現状とスーパーコンピューティングの未来
JPerl Advent Calendar 2009
Modern PHP Programming @ PFI Seminar