タグ

functional.*に関するoanusのブックマーク (50)

  • 梃子の原理で理解する「人体」の物理学 細胞工学

    梃子の原理で理解する「人体」の物理学 梃子の第2 原理を発見! 「梃子の原理」の発見者はアキメデスであるとされている.第二次ポエニ戦争(BC219~201)のとき,シラクサがローマ軍の攻撃を受けた際,「梃子の原理」を用いた投石機(カタパルト)や,軍船をひっかけて転覆させるクレーンのような装置(アルキメデスの鉤爪)を作り,ローマ軍を苦しめた,という話が伝わっている.また,「我に支点を与えよ,されば地球を動かして見せよう」というアルキメデスの台詞は,科学者による大見得として最高にかっこいい. 「梃子の原理」自体は,専門家にとって当たり前すぎてほとんど意識されないが,上記のような歴史的背景により,一般社会的には「ザ・物理学」と言ってもよいような地位にあるのだ.その証拠に,「梃子の原理」はいろいろなジャンルの解説に頻繁に出てくる.最近,息子に野球を教えようと思い,屋に並んでいる解説やwe

    梃子の原理で理解する「人体」の物理学 細胞工学
  • 波形手すりのクネット | 株式会社クネット

    2024年05月26日社事務所移転のお知らせ 2023年12月20日一部商品価格改定のお知らせ(詳細について) 2023年12月18日2023年 年末年始休業に伴う商品発送のご案内 2023年12月15日一部商品価格改定のお知らせ 2023年10月25日新たに人材事業部がスタートしました。 2022年12月19日2022年 年末年始休業に伴う商品発送のご案内 2022年09月05日【クネット天童スギ材】が入荷しました! 2022年07月29日2022年 夏季休業及び商品発送スケジュールのご案内 2022年07月14日クネット天童スギ材欠品《入荷待ち品番》のお知らせ 2022年06月07日クネット(2021年度)主要設置事例を掲載しました。 2022年04月20日2022年ゴールデンウィーク休業期間のご案内 2022年03月04日【重要】弊社を装った迷惑メール(なりすましメール)について

    oanus
    oanus 2013/04/21
    新たなエクストリームゲーム出現の予感
  • ルーマン「機能と因果性」精読(1): 愛と苦悩の日記

  • 「性能自体の問題ではありません」 - Interdisciplinary

    弊社掃除機のカタログ表示等に関する措置命令についてのお詫びとお知らせ | ニュースリリース:シャープ 今般のご指摘は、弊社掃除機の性能についてのカタログ等での表示に関するものであり、プラズマクラスターの性能自体の問題ではありません。また、対象となる掃除機以外の弊社のプラズマクラスター搭載製品の性能について、問題とされているものではありません。 私が強調を施した部分、なかなか興味深い表現だと思います。 と言うのは、ある対象について、「性能自体」というのがどのような概念を示した言葉であるのか、と考えると、結構深い問題に関わってくると考えるからです。 「性能」というのがそもそも、合目的的と言うか、どのような場で、どのような対象に、どのくらい……というように、限定された文脈における機能を指す言葉でしょうから(「効果」等もそうでしょうけれど)、「性能自体」のような表現は、結構曖昧に感ずるのですね。そ

    「性能自体の問題ではありません」 - Interdisciplinary
  • クラフトとしての考古学

    考古学への認知的アプローチのための一視角 【注意書き】 以下は、日心理学会第69回大会シンポジウム「心理学と考古学の出会い――「モノ」はいかに「こころ」を語るか」(2005. 9. 12, 慶應義塾大学)にておこなった私の講演の原稿です。当日は、PC資料を用いて発表をおこないました はじめに 「心理学と考古学の出会い」という場合、一般的に想起されるのは、まず、過去の人類の心の発達を進化の観点から問う「進化考古学」、そして、痕跡として残された資料から過去の人類の「心」や「認識」にアプローチする研究、「認知考古学」と総称される研究方法であろう。しかし、既に桜井氏の話の中でもあったように、心理学と考古学とが出会う場は、そこだけには限定されない。考古学(者)が研究していることを研究する研究、いわゆる「メタ考古学」的な研究においても、考古学と心理学とが出会う可能性が眠っている。 伝統的に、(日

  • 圏論デザインパターン

    要求開発アライアンスのセッション『Object-Functional Analysis and Design: 次世代モデリングパラダイムへの道標』で使用するスライドについて背景説明を行ってきました。 関数型言語の技術マップオブジェクト・モデリングのボトルネック代数的構造デザインパターン今回は背景説明第4弾で、「圏論デザインパターン」として用意した以下の図を説明します。 関数型言語の技術マップで説明したように、型クラスの導入によって代数的構造や圏論の理論をプログラミング言語で直接利用できるようになりました。 代数構造的デザインパターンは、基中の基概念であるので、モノイド以外のパターンもいずれ広く使われるようになることが予想されますが、今の所広く使われているのは圏論デザインパターンの方です。 代表的な圏論デザインパターンは以下のものです。 圏(category)対象と射(対象間の構造を保

    圏論デザインパターン
  • 代数的構造デザインパターン

    要求開発アライアンスのセッション『Object-Functional Analysis and Design: 次世代モデリングパラダイムへの道標』で使用するスライドの背景説明第3弾です。 「代数構造的デザインパターン」として用意した以下の図を説明します。 関数型プログラミングでは、数学由来の手法を駆使してプログラミングしていきます。このため元になった数学理論に対する質的な理解は重要ではあるのですが、数学理論上では重要ではあるもののプログラミング的にはほとんど使われない概念や、数学理論上では枝葉の議論がプログラミング的には重要ということもありそうです。そういう意味で、プログラミングのために元になる数学理論を学ぶのは、プログラミングテクニックの習得という意味では遠回りです。 そこで、こういった数学由来の手法をオブジェクト指向プログラマに馴染みの深いデザインパターンとして整備して、プログラミ

    代数的構造デザインパターン
  • Efficient data transfer through zero copy

  • paraiso-lang.org

    The domain has expired and may be available at auction. If this is your domain, you can still renew it. Register or transfer domains to Dynadot.com to save more and build your website for free! paraiso-lang.org 2022 著作権. 不許複製 プライバシーポリシー

  • モナドという言葉を使うことなく、純粋関数型言語の入出力を解説する。Rubyで。 - <s>gnarl,</s>技術メモ”’<marquee><textarea>¥

    これはRuby Advent Calendarの21日目の記事です*1。20日目は@sasata299さんのHerokuって便利だし利用までたった3ステップですお!!でした。 はじめに 当は「Pure Rubyで動くかっこいい形態素解析エンジンができた!!!」みたいな記事を書く予定でしたが、目標のクオリティに達しなかったのでリリースは延期されました。 クリスマスごろにリリースされるといいですね。 さて、この記事では、Haskellのような純粋関数型言語がどのように副作用を伴う処理を実現しているかについて、Rubyによる実装を使って解説します。モナドという言葉が全く出てこないのでアレルギーのかたも安心ですね。 純粋関数とは 同じ引数を渡す限り、どのような順番で何度呼んでも同じ結果が返るような関数のことです。 何が問題なのか puts 'hello!' res1=gets puts 'hel

    モナドという言葉を使うことなく、純粋関数型言語の入出力を解説する。Rubyで。 - <s>gnarl,</s>技術メモ”’<marquee><textarea>¥
  • モナドとモナド変換子のイメージを描いてみた - melpon日記 - HaskellもC++もまともに扱えないへたれのページ

    最初に言っておくと、モナドって何なの?っていう答えは一切ないです。 自分にとってモナドは「とりあえず型さえ合わせておけば何かいろいろしてくれる奴」程度としか認識できていないので、そんな説明できないです。 で、そんな自分が脳内でどういう風にイメージしてモナドやモナド変換子の混ざったコードを書いているかというのを図に表してみました。 ここら辺の話を図にした感じです。 モナドを触ってみた - melpon日記 - HaskellもC++もまともに扱えないへたれのページ モナド モナドには return 関数と >>= 関数があります。 こんなイメージです。下側の線が普通の関数型の世界、上側の線がモナドの世界です。 どちらもモナド側の出力しか無いので、どちらかの関数を使ったら、モナドから脱出することはできません。 ただ、>>= 関数の右側が点線の箱になっていることが分かるでしょうか。 ここには、太

    モナドとモナド変換子のイメージを描いてみた - melpon日記 - HaskellもC++もまともに扱えないへたれのページ
  • Let's Boost - 関数型プログラミング

    概要 Haskell や Erlang, OCaml などの「関数型プログラミング言語」が流行しています。 例えばコールバック関数やSTLのfind_ifなどに渡す述語関数など… 関数それ自体を渡して色々処理をするというプログラミング手法は、 関数型言語と呼ばれることのないC++であっても、 かなりの頻度で使われる重要な技法です。 が、ノーマルな状態のC++ではやっぱりその辺りは貧弱。 関数ポインタでも関数オブジェクトでも分け隔て無く、 関数として呼び出せるものを変数に格納したいときはどうすればよいでしょう? ある関数の第二引数と第三引数を固定して、1変数関数として std::for_each に渡したいときは? クラスの変数とメンバ関数をまとめて一つのフリー関数のように扱えると、 特にコールバック処理の時に便利ですが、どう実装すればよいでしょうか? 答えはここにあります。 内容 bind

  • Google Sites: Sign-in

    Not your computer? Use a private browsing window to sign in. Learn more about using Guest mode

  • left over junk

    2008-04-05 optical_frog 2008-04-05 通りすがり 2009-02-11 optical_frog 2009-02-11 @minorimironim 2009-02-11 @minorimironim 2012-06-02 optical_frog 2012-06-02 toohuudoo 2009-02-11 optical_frog 2009-02-11 dh 2012-12-31 optical_frog 2012-12-31 ponchi 2012-12-31 optical_frog

  • 「拍動しない人工心臓」で生きた人

  • ナベアツ算で知るOCamlとScalaの違い - なんたらノート第三期ベータ

    学び始めて最初っからずーっとなんですが、Scalaが従来の関数型に対してオブジェクト指向とのハイブリッドだと言われるのはどういう意味でなんだろう? という疑問がありました。 関数型言語でありながら、言語にオブジェクト指向機能があり、再代入が可能な変数がある、という機能的特徴だけ取り上げると、OCamlにScalaのような呼び名が与えられず、あくまで関数型と認識されている理由が説明できない。APIのデザインがOOPっぽいか関数型っぽいか、なんてのは、いくらでも作り変えられるから言語の質じゃないし。なんてことを思っていたのですが、最近謎が解けそうです。 どう書く?.orgのナベアツ算をお題として、ScalaとOCamlを比べてみました。 http://ja.doukaku.org/233/ 「3の倍数と3がつく数字の時だけアホになる」コードを実装して下さい。 また、余裕のあるかたは更に、 「

    ナベアツ算で知るOCamlとScalaの違い - なんたらノート第三期ベータ
  • 不用庵:「不用の用」を探る - livedoor Blog(ブログ)

    何かが「役に立つ」こととは、使い道があるということである。 例えば、箱は中に物を容れることができる。だから箱として役に立つ。 例えば、は書かれた文字を読むことができる。だからとして役に立つ。 「役に立つ」ものとは、私たちが日頃「道具」として使っているもののことである。 逆に、こうした用途から外れてしまったものは「役立たず」とみなされる。 例えば、穴の空いた箱の中には物を容れられない。そのため箱としては役に立たない。 例えば、文字の書かれていないは読むことができない。そのためとしては役に立たない。 しかしこれらは、「箱」や「」として見た場合には役に立たないだけであって、 何か別の使い道を探ることで、新たな役立て方を見つけることができるはずである。 例えば 穴の空いた箱は、中を覗き込めば「窓」になるし、電球の上に被せれば「照明」にもなる。 例えば 文字の書かれていないは、自分で文字

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

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

    数理科学的バグ撲滅方法論のすすめ---目次 | 日経 xTECH(クロステック)
  • 行政学における機能概念 - たけみたの脱社会学日記

    ルーマン私訳一覧へ戻る Niklas Luhmann, Der Funktionsbegriff in der Verwaltungswissenschaft, Verwaltungsarchiv 49 (1958), S. 97-105. 概念というのは、正しいか正しくないかを論じるものではない。概念について論じることに何か意義があるとしたら、それは、その概念の使い方をちゃんと決めることであり、そうやって決めた使い方を貫いていくとどうなるかを明らかにすることである。その概念が出てきたときに、誰にでもすぐにその意味がわかるためには、論理的に正しく制御できる使用法というのが必要なのであって、そのためにはまずその使用法を決めておかなければならない。 さて、そこで機能[関数](Funktion)概念であるが、この概念には、論理学や数学で使われているのを除けば、上で述べたような意味での明確さがまっ

    行政学における機能概念 - たけみたの脱社会学日記
  • その愚痴を聞け

    oanus
    oanus 2010/07/16
    そんなことはしていない…といいですね (棒