CEEK.JP NEWS2億年前から存在、ニュージーランドだけに生息する“生きた化石" 『ナスD大冒険TV』で超貴重映像の撮影に成功
大豆胚芽由来の天然成分 ファイトポリアミン®│ 製品一覧│化粧品原料事業部 │東洋紡
東洋紡バイオ事業総括部 化粧品原料の製品情報の「PHYTOPOLYAMINE®」の特徴や仕様・性能などをご紹介します。
サービス終了のお知らせ - NAVER まとめ
サービス終了のお知らせ NAVERまとめは2020年9月30日をもちましてサービス終了いたしました。 約11年間、NAVERまとめをご利用・ご愛顧いただき誠にありがとうございました。
掛け算から足し算を作る（パズルとしてやってみよう） - 檜山正幸のキマイラ飼育記 (はてなBlog)
とある論文に、パズルのネタになりそうな計算の話があったので紹介します。予備知識は特に要りませんが、けっこう難しい。 小学校で最初に習う計算は足し算です。しばらくして掛け算を習います。整数の掛け算、例えば 3×4 は、足し算の繰り返しとして導入することもできます。3×4 := 3 + 3 + 3 + 3 。 掛け算を先に習って、掛け算をベースに足し算を定義するような学習コースは聞いたことがありません。が、宇宙のどっかに、そんな順序で計算を教えている星があるかもしれません。我々地球人には不自然ですが、掛け算をもとに足し算を定義することは出来るようです。 実数の集合に対して、足し算を忘れてしまい、掛け算だけを考えます。掛け算の法則は全部使えます。具体的に書けば： (a×b)×c = a×(b×c) a×b = b×a a×1 = a a≠0 ならば、a×a' = 1 となるa'（aの逆数）が存在
定理証明器デモ « 関数型の日々 | Functional Programming Blog
いささか古いネタになりますが、ニコニコ動画にCoqのチュートリアル動画が上がっていました。 定理証明器デモ – http://www.nicovideo.jp/watch/sm1276083 一番簡単な例で、ある意味最も含蓄のあるP -> Pを証明するという内容です。 Coqに付属するチュートリアルはいささか難しく、「こうやればこうなる」ということは書いてあるのですが、「こうやって使う」という流れが分かりづらいので最初の一歩にはとても良いかと思います。 にわとり小屋でのプログラミング日記 – http://d.hatena.ne.jp/yoshihiro503/ 動画作者様のブログでは、Coqのインストールから丁寧に解説されていました。 (Gallina : 雌鶏、Coq : 雄鶏) 名古屋ではocaml-nagoyaというグループでOCamlその他の関数型言語の勉強会が開かれているそう
食堂の男 - 世界の選択@wiki
17代目食堂の男 (ジュウナナダイメショクドウノオトコ) (ID: OJxXmgndE+ ) 性別：男性 年齢：200歳以上 種族：人間 身長：170cm 体重：軽め 誕生日：2月29日 血液型：AB型 所属・階級：カノッサ機関の長 宗教：無宗教 ポリシー：それは真理ではない 癖：「いい線いってる」という口癖 利き手：右利き 知性：賢明 趣味・特技：煙草 好きなモノ：煙草、安物 嫌いなモノ：カノッサ機関 武器・武術など：拳銃 能力・魔法など：「円」の邪気眼 口調：得体の知れない、慇懃な口調 普段の言語：日本語 トラウマ：裏をかかれること 健康状態：病死するときは恐らく癌 概要 カノッサ機関を司る、いわゆるリーダー。通称「ファイナルエージェント」。詳細は謎に包まれている。いやに達観した態度だが・・・？ 韜晦趣味。何かを仄めかす癖がある。 彼が先代から「食堂の男」職を受け継いだ時に食堂の男が
happ.me どうして作ったの、なんで Djangoなの編 - あったらしくるえるはてなくしょん
というわけで、しばらくのあいだ happ.me について書きます。 - くるえるはてなくしょん というわけで、少しずつ。http://happ.me に関連する話題です。初回は割とくだまきエントリですいません。 Web フレームワークはめんどくさいけど、それなりに楽しい。 どういうわけか、私はPython が好きで、あと、それなりにめんどくさい、とくにセットアップがとてもめんどくさいんですけど、Django も好きです。 好きなフレームワークとか、好きなプログラミング言語って、こうフィーリングとか、触った感じとか、セットアップの手順とか、設計思想とかがかなり重要で、出来不出来はもちろんなのですが、あうあわないの方が重要かなと作ってみて思いました。 レンタルサーバなら php がある意味最強だけど、vpsとかになると... 正直、WebホスティングでちょっとMySQLとちょっとだけ、.hta
とある櫻花の画像生成（ジェネレーター）- とある風画像を自動生成
とあるさくらのジェネレータ とある の （） 方向 縦 横 色合い 科学色（赤） 魔術色（青） その他 色の指定: → 公開 する しない 誹謗中傷は侮辱、名誉毀損となり、罰せられる場合があります 最近作成された画像の一覧 >>もっと見る >>もっと見る >>もっと見る (C)Kunihiro Tanaka - Twitter - 解説
卒論のテーマ選択について - 発声練習
以下は、研究者になる人にはあてはまらないかもしれません。あくまでも個人の考えです。（追記：2008/6/10、私の所属は計算機科学・情報工学系です） 私は、修士2年次で始めて研究者の道について考えたので、卒論や修論ははっきりいって卒業＆修了に必要な単位という認識だった。なので、研究室の選択基準は4年生でも部活を続けることを許してくれるかどうかだけ。卒論テーマも卒業できればよかったので、先生が得意であると言ってくれたテーマを選んだ（手助けが一杯もらえるだろうという下心）。 こだわりがなかったので、「卒業研究というのはこういうもんかな」と素直に受け入れて、結果としては卒業研究の結果をレベルは低いながらも査読つきの国際会議に発表することができた。その後も卒業研究のテーマを発展させつつ、博士を取得。偶然と幸運が重なり、大学教員になっている。自分の研究テーマが好きになった（興味が持てるようになった）
Ubuntu/apache2 - TOBY SOFT wiki
はじめに † apache2のインストールについて 大体、ここに書いてある通りです。 わからない時は、ここを参考にしてください。 HTTPD - Apache2 Web Server http://doc.ubuntu.com/ubuntu/serverguide/C/httpd.html Ubuntuのページにも書いたのですが、server版で作業してます。 Desktop版でもある程度一緒のはずですが、違うところは読み替えてください。(とはいえ、Portable Ubuntu 9.04(coLinux)でも一応は確認しました) webサイトの確認は、Windowsから行っているのでスクリーンショットがWindowsでも誤解ないようにしてください(; ´д｀) ↑ インストール † インストール時のSoftware selection に LAMPをセレクトしておくと、インストールされて
Firefox + Document Map + S5 でスライド作り
※ S5 じゃなくて Slidy や kanzaki さんのツールなどでも同じ要領で使えると思いますが、自分で使ったことのあるものが S5 だけなので S5 で書いてます。 ※ [2011-05-25 追記] Document Map はすでにメンテナンスが止まっているようなので以下 Document Map は HeadingsMap :: Add-ons for Firefox に読み替えてください。 このネタ、絶対どっかに書いたと思っていたんだけど、要素をメモっただけでストレートにネタとして取り上げてはいなかったらしい。1 まずは S5 のご紹介S5 は XHTML + CSS + JavaScript だけでできたスライドショーツール。 S5: A Simple Standards-Based Slide Show System サンプルがあるのでそれをコピペして使い始める。実際に
これからの「GNU Screen」の話をしよう
縦分割が目的で使い始めた開発版の GNU Screen。CVS、Subversion、Gitとリポジトリを追いかけていると、他にも便利な機能があることが分かってきました。ここ半年ほど主だった変更はありませんが、4.1.0 のリリースに向けてドキュメントも整備されてきたようですので、2年ほど使用してきて分かってきた変更点をまとめようと思います。 4.1.0における変更点 ここで取り上げる変更点は次の通り。詳細は ChangeLog などを確認してください。 新しい機能 縦分割 レイアウト ウィンドウグループ マウス操作のサポート コマンドメッセージの抑止 外部からのコマンド問合せ 拡張されたコマンド／機能 最大ウィンドウ数の増加 ウィンドウ番号の相対指定 イベント発生ウィンドウの装飾設定 設定で使用可能な変数／書式の追加 ウィンドウリスト／画面リストの拡張 その他 256色サポート コマンド
COMFRK
Free Download: N/A 2017/8/11 初版 C92 東そ34b 数学寄席 浮世根問 by m0h1can とある新規事業開発の回顧録 by tarhashi REAL PROGRAMMER STORY V by m0h1can GameSeeker Vol. 5-4 『Playback Final Fantasy XI』 by mascalade シミュレーション業界焼肉座談会 Free Download: N/A 2015/12/31 初版 C89 東ム44a オンライン広告とオークション理論 by dekosuke From Prolog to AnsProlog by m0h1can Numerical Methods in Logic Programming by m0h1can GameSeeker Vol. 5-3 『Playback Final Fanta
「ある事」に気を付けてみると自分の強みが簡単に分かる | ライフハッカー・ジャパン
「自分の強みを知って、それを生かそう！」といった言葉をよく聞きます。ですが、自分の強みが分かっていない場合、強みを見つけること自体が難しいのではないでしょうか？ 実は、ある事に気を付けると、自分の強みが簡単に分かるそうです。 確信は持っていないものの、「何となくこれが自分の強みかな...？」と感じていることを、できるだけ仕事に活かそうと頑張っている人は多いかもしれません。しかしそういった場合、大抵はあなたが自分の強みをはっきりと分かっていないだけで、他の人が気付いていないわけではありません。 毎日のように、人は行動を通して自分の強みを周囲に証明しているようなものです。周りの人は、あなたが本当に得意なことに気付いています。誰かがあなたに助けを求める時、その求められていることこそが、あなたの強みなのです。 例えば、あなたが交渉上手な人であれば、交渉する場面での助けの依頼が届くはずですし、あなた
ヒマヒマ動画館 |[笑える動画]ダッダーン ボヨヨン ボヨヨン
彼女の名はレジー・ベネット（女子プロレスラー）です。未だに覚えてるほどインパクトがありました。 動画が見つかりません。と表示されていてもクリックしてみてください。見れるかも。
サイト作成に欠かせないサイトやサービスなどを20個｜Webpark
私がサイトを作る際によくお世話になっているサイトやサービス、フリーソフトを紹介します。個人的に見ているものだけなのでまだまだあると思いますが、ご参考になればうれしいです。 週間ウェブデザイン 次の「あんじょうできてはる」が更新停止になっているのでこちらを。1ページあたりの表示数が多いので探しやすいですね。 あんじょうできてはる Webデザインのギャラリーはたくさんありますが、見やすさ探しやすさでこちらをよく見ます。更新は止まっちゃってますが。。 MephoBox ヘッダーやフッターなど部分的なものにこだわった海外のギャラリーです。404やナビゲーションなんかもあり参考になります。 ロゴストック 日本を中心にかなりの数のロゴが集められています。管理人さんや訪問者の評価も見ることができて参考になります。 フリーの素材集です。「ロイヤリティフリーなフリーフォト、無料写真素材サイトのまとめ」もご参
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
@nifty：デイリーポータルZ：円グラフで表そう
COLOR CHANGES
Stanford School of Engineering
http://popup.tok2.com/home2/kimi4/haru/dokuritu.html