タグ

2014年8月14日のブックマーク (5件)

  • モナド教

    前提知識:モナド モナドを理解せずともモナド教を信ずることは出来ますが,理解していればより深く納得できるでしょう. 操作 :: 型 -> 型 は,"型"から"型"へ写す"操作"の存在を表します. モナドの文脈 m が必要とする2つの操作: return :: a -> m a で,値を保ちつつ文脈 m の中に入れ込むことが出来ます. (=<<) :: (a -> m b) -> (m a -> m b) で,「値を文脈に入った別の値へ写す操作」を「文脈に入った値を同じ文脈に入った別の値へ写す操作」に変換します. id :: a -> a は値をそのまま返す操作です. id を =<< で変換して得られる操作 join :: m (m a) -> m a で,二重に文脈に入った値を一重の文脈に入った値に戻すことが出来ます. 文脈の値から生の値を取り出す型 m a -> a を持つ操作は,一般

  • 世界初、光合成する「人工の葉」の開発に成功…人類の宇宙進出に期待 : らばQ

    世界初、光合成する「人工の葉」の開発に成功…人類の宇宙進出に期待 無重力では地上の植物はうまく育たないため、長期の宇宙ミッションでは効率的な酸素供給が課題の1つとなっています。 世界初となる、光合成する人工バイオリーフがロンドンで開発され、今後の宇宙進出に期待が持たれています。 1. 開発したのはロイヤル・カレッジ・オブ・アート大学の卒業生であるジュリアン・メルキオッリ氏。 2. ベースとなるのは、シルクの原材料である生糸(蚕の繭)。 3. 生糸から抽出したタンパク質には分子を安定させる驚くべき性質があるといい、タフツ大学のシルク研究室と共同で開発されました。 4. このタンパク質の素材に植物から抽出した葉緑体を注入。 5. すると生糸のタンパク質の性質によって葉緑体が閉じ込められ、人工の葉として機能するとのことです。 6. 光を当てると植物と同様に、水と二酸化炭素から酸素が生成されます。

    世界初、光合成する「人工の葉」の開発に成功…人類の宇宙進出に期待 : らばQ
  • ログミーBiz

    初心者でも役立つ、ChatGPTを使った英語学習の「奥の手」 『英語は10000時間でモノになる』著者が贈る、効果的な勉強法

    ログミーBiz
  • 口内炎はハチミツで治る。治療薬以上の効果を大学が実証 - IRORIO(イロリオ)

    口の中の粘膜に灰白色の部分ができ、豆粒ほどの大きさになって痛む口内炎(正確にはアフタ 性口内炎)。放っておいても自然に治るが、何とも言えないあの痛みはうっとうしいもの。できれば早く治したい。 そんな時、頼りにするのは薬だろう。だが、薬に頼らなくても、ハチミツで治ってしまうことが最近の医学実験で分かった。 180個の口内炎に、薬とハチミツを塗ってみた ハチミツには鎮痛効果や炎症を抑える効果がある。これは医学的に認められている。この実験を行なったサウジアラビア国立サルマン・ビン・アブドゥルアジーズ大学の研究者は、このハチミツの効果が口内炎にどの程度及ぶかを試してみたとのこと。 研究者は口内炎のある94人(口内炎の合計180個)を3グループに分け、ステロイド系軟膏、口内炎パッチ(貼り薬)、ハチミツでそれぞれを治療した。その結果、なんとハチミツがいちばん効くことが分かった。 まず、ハチミツの方が、

    口内炎はハチミツで治る。治療薬以上の効果を大学が実証 - IRORIO(イロリオ)
  • Twitterで話題「すぐ飲めてずっと冷たいペットボトル作成法」が本当に便利だった! 夏コミのお供にぜひ

    夏のおでかけには、キンキンに凍らせたスポーツドリンクが欠かせません。最近はコンビニなんかでもあらかじめペットボトルを凍らせて売っていたりしますよね。 ただ、この手の凍ったペットボトルって、飲みたくてもなかなか中身が溶けてくれなかったり、最後の方になると味が薄くなってしまったりといろいろ不便。ところがそんな問題をスマートに解決してくれる、「すぐ飲めてずっと冷たいペットボトル作成法」がTwitterで紹介されていました。 おおおお……! これなら確かに溶けるのも早く、しかも最後までおいしく飲めそう。 作り方は、ペットボトルの中身を半分だけ取り出し、冷凍庫でナナメに置いて凍らせるだけ。凍ったら冷凍庫から取り出し、残りの中身を注げばできあがりです。ナナメに凍らせることで液体と接触する面積を広くしているのがポイントで、こうすることで溶ける時間を短縮しつつ冷却能力もアップ! というわけですね。 そんな

    Twitterで話題「すぐ飲めてずっと冷たいペットボトル作成法」が本当に便利だった! 夏コミのお供にぜひ