Yesodとは 型安全なWebフレームワーク。型安全URLによって送信したデータのURLが有効であることが保証される。また、生データを境界部分でマーシャリングして型に直すため、クライアントとのやりとりや、永続データの保存も型安全になる。 要約 Yesodはボイラープレートをできるだけ回避し、ユーザの手を煩わせずに可能な限りHaskellの機能を使うようにしている。 フォームライブラリは、Applicative型クラスを使って共通コードを減らしている ルーティングは、型安全性を犠牲にせずにとても短い形式で定義している データベースは、コードの自動生成を使ってデータをシリアライズしている Yesodで"コード生成"と言ったとき、2つの意味がある。 スカフォードツールによるファイルやフォルダのセットアップ コンパイル時にメタプログラミングによって生成されるコード 大抵は後者を意味する。自動コード
Paul Hudak, Yale University John Peterson, Yale University Joseph Fasel, Los Alamos National Laboratory September 28, 1999 翻訳:山下 伸夫 <nobsun@sampou.org> これは、「やさしい Haskell 入門 (バージョン98)」のHTMLバージョンです。 目次要約 イントロダクション 値、型、その他の有用な概念 関数 case 式とパターン照合 型クラスとオーバローディング 再び、型について 入出力 標準の Haskell クラス モナド 数 モジュール 型付けの落し穴 配列 この先の学習 参考文献 目次 このHaskell Tutorialのマスター文書は、 haskell.orgにあります。このレポー トの訂正や変更はすべてそこに反映されるようになっ
この項目では Haskell に関連する内容に限って圏論の概観を与えることを試みる。そのために、数学的な定義に併せて Haskell コードも示す。絶対的な厳密さは求めない。そのかわり、圏論の概念とはどんなものか、どのように Haskell に関連するかの直感的な理解を読者に与えることを追求する。 3つの対象A, B, C、3つの恒等射, , と、さらに別の射, からなる単純な圏。3つめの要素(どのように射を合成するかの定義)は示していない。 本質的に、圏とは単純な集まりである。これは次の3つの要素からなる。 対象(Object)の集まり。 ふたつの対象(source objectとtarget object)をひとつに結びつける射の集まり。(これらはarrowと呼ばれることもあるが、Haskellではこれは別の意味を持つ用語なので、ここではこの用語を避けることにする。) f がソースオブ
10月3日の放送http://www.nhk.or.jp/kininaru-blog/133360.htmlで『こんにちは』をとりあげたあと、発音通り「こんにちわ」と書くのは間違いですか?という質問がきました。『こんにちは』は「今日(こんにち)は天気が良いですね」のような文が省略された挨拶ことば。仮名遣いの決まりで“助詞の「は」は「は」と書く”と決められているために、『こんにちわ』とは書かないのです。でも、そもそもなぜ助詞の「は」は〔ワ〕と発音するのでしょうか。実は、昔の発音は今の発音とだいぶ違っていました。平安時代から室町時代にかけて「はひふへほ」は【ファフィフフェフォ】と発音していたのです。例えば「母は」は【ファファファ】という発音。室町時代のなぞなぞ集「後奈良院御撰何曾」に〔母には二たびあひたれど 父には一度もあはず〕とあります。答えはくちびる。「母」は『ファファ』と発音していたので
ひろゆきこと西村博之氏(写真左)と、『大人のひきこもり――本当は「外に出る理由」を探している人たち』(講談社現代新書)の著者・池上正樹氏(写真右)が“激突”。予備軍も含めると「40代以上の大人のひきこもり=100万人」という日本が抱える大問題をテーマに、語り合った。 2010年と比較して、「ひきこもり」はどう変化したのか。なぜ、中途採用にいくら応募しても、採ってもらえない状況があるのか。ひきこもる人々はもちろん、コミュニケーションが苦手な人にとっても、活躍できる居場所は必ずある――。それぞれの立場から二人が持論を展開、打開策を探った。 ハローワークの“カラ求人”!? 池上 僕が「ひきこもり」をテーマにした前著『ドキュメント ひきこもり』(宝島社新書)を刊行した2010年、はじめてニコニコ動画に出演させていただき、ひろゆきさんと対談しました。 でも実は、(ニコ動の視聴者層は)もともと僕が仕事
そして、侵略戦争や慰安婦問題についても、はっきりと日本に責任があることを明言したのである。 〈国益について言うと、ドイツは七〇年間「ナチスのドイツといまのドイツは違う」と言い続けてきて現在がある。日本が慰安婦問題で「昔の軍国日本の行為です。平和国家日本は違う」ときちんと言えなければ、昔の日本は悪くなかったと主張していると受け止められるでしょう。そういう大局観がないと、それこそ国益を損ねますね。〉 〈だって、何百万人もの日本人を死に追いやった責任が誰かにあるわけでしょう。ドイツは経済的に発展するためにも謝罪をし、周辺の理解を得なければならなかった。さらには、自国の通貨マルクを捨ててでもユーロを選ぶことによって信頼を勝ち取るしかなかった。そこまでのことを甘受しているドイツと、周りを悪しざまに言うことがうけている日本と、相当差がありますね。〉 どうだろうか。いくら発言の舞台が岩波の「世界」だとは
――これから民主党はどこへ向かうのでしょうか。 民主党は、将来の選挙に備えて反対勢力の中心としての立ち位置を守ることしかできませんでした。しかし今なお民主党は、アンチ自民党としての政党アイデンティティをはっきりと示し、政治を導くことができる存在であると日本の有権者たちに再度信頼してもらう必要があります。与党としての信頼性を証明しようとするあまり、中道もしくは中道右派を突きつめ過ぎると、自民党との差別化に失敗してしまうことになります。代表がいま変わろうとしていて、これから誰が浮上するかが明らかになります。民主党は初心に立ち返り、中道左派でリベラルな改革派政党としてのアイデンティティを取り戻す必要があると、私は考えています。 具体的には、かつては日本の躍進を先導したものの今や成長と世界経済における機能を阻害する要因となっている官僚主義的資本主義制度からの脱却、権力の一極集中から地方分権への促進
これは過去数十年間で、最も論議を呼ぶ政治理念かもしれない。「スイスの合法的居住者全てにベーシック・インカム(基本所得)を無条件で給付する」というイニシアチブ(国民発議)を、運動家たちが街頭で市民に呼びかけている。国民投票に必要な数の署名がすでに集まったという。 「まったくのナンセンスだ」と中年の男性は、つぶやきながらバーゼル駅の入口へ急いだ。これは5月末、クリップボードを持った若い運動家が署名を求めて話しかけたときのことだ。ベーシック・インカム実現へのイニシアチブを立ち上げたのは、大きな政治団体から何の後押しもない一般市民のグループだ。 このイニシアチブを唱える運動家は、以下の3点について討論するよう市民に呼びかける。まず労働の価値について、さらに貧富の差が拡大する今の社会について、最後にスイスの合法的居住者に対し月額2500フラン(約26万円)のベーシック・インカムを無条件で給付すること
Update Required To play the media you will need to either update your browser to a recent version or update your Flash plugin. 最近、電気工学関係ではべクトルのことをフェーザとも称しているが、従来のべクトルとどう違うのか疑問にもつ方も少なくないと思われる。この問題を考える前に、まずベクトルについての基本的なことについて整理する。 べクトルとは英語でvectorと書き、べクトル、方向量〔大きさと方向をもつ量〕等と訳されている。例えば、力学では速度 、加速度 、力 、運動量 、電気磁気学・電気回路理論では電界 、磁界 、電流 、起電力 、起磁力 等をべクトル量(vector quantity)といっている。これらのうち正弦波交流(電圧 、電流 )のように回転べクトルであ
早稲田大学イスラーム地域研究機構招聘研究員 鈴木恵美 エジプトでは5月末に大統領選挙が実施され、昨年7月の事実上のクーデターでイスラーム組織「ムスリム同胞団」出身のモルシ大統領を失脚させたシシ元帥が、96.9%という圧倒的な得票率で選出され、大統領に就任しました。空軍出身のムバーラク大統領に辞任を求めた、いわゆる「アラブの春」から3年4ヶ月、軍出身のシシ元帥が圧倒的多数の票を得た今回の大統領選挙の意味と、シシ新大統領による政権運営を展望してみたいと思います。 2011年1月、汚職で腐敗したムバーラク政権に対する大規模デモが起き、ムバーラク大統領が辞任しました。その後、ムバーラクを辞任へ誘導した軍部が管理するなかで民主化が進められ、ムスリム同胞団出身のモルシが大統領に当選しました。しかしその1年後、反モルシデモが大規模化し、事態が膠着すると、当時国防大臣で軍総司令官だったシシ元帥が、国民の支
曲線が曲がっているとき,その局所的な曲がり具合を円に近似することができます.その円の半径を 曲率半径 , 曲率半径の逆数を 曲率 と言います.すでに フレネ=セレの式 で,曲率は として登場していますが,この記事ではまず,曲率を高校数学の範囲でも分かるように古典的に導いてみたいと思います. 読者の多くの方が,微積分の勉強で,曲線の微小部分を接線で近似する,という見方に触れたことがあると思います.曲線を直線で近似とはずいぶん乱暴な話ですが,これは一番簡単な近似で,一次近似とも言うべきものです. もう少し曲がり具合を表現しようと頑張ってみたのが,曲がり具合を円弧で近似する二次近似です.それでも,一般の複雑な曲線の曲がり具合を表現するには簡単すぎますが,直線よりかは大分ましでしょう.曲率を,曲線の曲がり具合の二次近似だと考えると少し見通しが良くなると思います.最初のセクションではベクトルを使いま
スピンとは何か 歴史の順に従うと説明が複雑になり過ぎる。 だからここまでは順序を無視してきた。 磁気モーメントの測定 かなり後になってしまったが、 原子が持つ角運動量を測定する方法の一つを紹介しよう。 まず、小さい穴の開いた容器の中に調べたい物質を入れて、加熱する。 するとその物質は蒸気となって穴から噴き出すだろう。 酸化を防ぐためにも真空中で行った方がいい。 その穴から少し離した所に衝立を置いて、そこに小さい穴を開けておく。 こうすることで、容器の穴から衝立の穴まで真っ直ぐに飛んできた原子だけが 通過を許されて、穴を抜けた原子はその後も真っ直ぐに飛び続けることになる。 こういう働きをする衝立を「コリメータ」と呼ぶ。 「平行になるように整える装置」くらいの意味だ。 こうして一本の原子のビームが作られるわけだ。 この装置を真空中に置く本当の理由は酸化防止よりもむしろこちらである。 障害物
第1回 正義・日本人の美徳 【放送時間】 2012年2月1日(水)午後10:00~10:25/Eテレ(教育) 【再放送】 2012年2月8日(水)午前5:35~6:00/Eテレ(教育) 2012年2月8日(水)午前11:30~11:55/Eテレ(教育) ※放送時間は変更される場合があります 【ゲスト講師】 山本博文(東京大学大学院情報学環教授) 新渡戸は、義と勇、礼や仁など、様々な武士道の徳目について解説している。新渡戸は、特に大事なものは、義と勇であり、流されずに正義を守る勇気を持つ者こそが、真の武士だと記した。また武士が目指すべき究極の目標として、忠義をあげた。新渡戸は、忠義を守ることによって名誉を得ることが、武士の到達点であるとした。つまり武士にとって、忠義とは、他人から強制されるものではなく、自己実現のあり方だったのである。第1回は、日本人の心の源流に流れる、正義感について考える。
Gの夢に見た風景を、私も眺めてみたい・・・ そう思ってWEB上を探したところ、山形大学の脇 克志(WAKI Katsushi)先生 という方が、 「絵で見る有限群」というサイトを公開されていました。 このサイトでGの夢に見た風景を(ちょっとだけ)覗いて見ることができます。 ■有限群論の広場 >> 絵で見る有限群 表題の通り、絵で見る有限群の画像がたくさんあります。 >> 絵で見る有限群2 4次の対称群を表現した3Dモデルを、マウスでぐりぐり回して見ることができます。(Javaアプレット) 4次の対称群と言えば、4次方程式の解法に登場した群ですね。 >> A5の広場 極めつけは、これ。 Gの夢の中に浮かんでいたであろう、複雑で神秘的な形。 “解けない五次方程式の形”を、とくとご覧あれ。(Javaアプレット) >> 代数学IIテキスト (有限群論の基本) 有限群論の基本を、わかりやすく丁寧に解
中国の詩人の理想像は、科挙に及第して国家枢要の人物に栄進し、その傍ら詩を以て政治を論じ、花鳥風月を詠じ、また人生を究明せんとすることにあった。彼らは詩のために詩を書くことを潔しとしなかったのである。そんな詩人としての理想像を極めたものは極めて少ないとせねばならぬが、その数少ないうちの一人として、蘇軾をあげることに、誰も異存はないであろう。 蘇軾はは単なる詩人であることに満足せず、士大夫として深く政治にかかわらんと欲した。そしてその志を詩の中に表現せんと欲した。だからといって、彼の詩は決して観念の産物にとどまってはいない。政治を詠じても、風流を詠じても、蘇軾の詩は人間の血潮が熱くたぎっていることを感じさせる。その血潮の熱さが、蘇軾をして、挫折の多い人生を、陰影豊かなものにせしめた、そういえるのではないかと、筆者は感じている。 筆者の漢詩シリーズのうち、このシリーズでは、蘇軾という詩人を通して
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く