Posted in物質・化学

元素リンの発見は錬金術師による

リンは錬金術師(Henning Brand, 独, 1669年ころ)が初めて単離しました。原料は大量の尿を煮詰めたもので、リン酸塩を得、最後に「ワイン」と強熱して還元することにより単体が得られました。下記の絵（Joseph Write, 1771, “The Alchymist, in Search of the Philosopher’s Stone, Discovers Phosphorus, and prays for the successful Conclusion of his operation, as was the custom of the Anci…
Posted in物質・化学 生物

有機リンの毒性、特に硫黄とリンがつながるとヤバい

リンは生体に不可欠な元素で、エネルギー通貨として使われるATPがなくなると生きることができません。リンを扱う酵素は３種類あり、試験に出そうですね。 https://en.wikipedia.org/wiki/Phosphorylase phosphorylase A-B + H-OP <-/-> A-OP +h-B phosphatase　P-B + H-OP <-/-> P-OH + H-B kinase　「カ」イネース　日本語はキナーゼ　 P-B + H-A <-/-> P-A + H-B 植物にリンが不足すると、生育が悪くなりねじれたりするそうですが色…
Posted in宇宙・地球 物質・化学

巨大リン鉱床がノルウェー南部で発見されました

先週のビッグニュースは、ノルウェーで世界最大級のリン鉱床が見つかったというものです。 https://www.bbc.co.uk/newsround/66099273 リチウム二次電池の正極用にリン酸塩の需要が2050年に現在の20倍に膨らむと予想される中でナウルなど既存のリン鉱床が枯渇しました。わかっている人は気を揉んでいたと思いますが、これで今後50年以上心配なくなったとのことです。特にEUには朗報である、というニュースです。 今週の世界の研究所は、リンで鉱床を発見したNorge Mining社をとりあげます。 https://norgemining.com/ リン、バナジウム、チタン、金…
Posted in本：TheDoorIntoSummer 物質・化学

The Door into Summer(6) 絶対反応速度論と前指数因子

金曜日は「夏への扉」を読みながら「時間」について考えています。今日は化学反応における時間を支配するアレニウス式における”pre-exponential factor”(前指数因子)、別名 “attempt frequency” （試行周波数）について考えましょう。いわゆるEyring(アイリング)の絶対反応速度論では、化学反応が起こるときには反応する分子たちが作る活性複合体の遷移状態があり、活性複合体中の分子振動により反応障壁を超えると生成物が生じると考えます。その時に反応障壁を超えようと「試行」する分子振動の周波数が「試行周波数」で、試行1回に…
Posted inコンピュータ

ラムダ関数

「ラムダ関数」というのはpython, javaなどいろいろなプログラミング言語に実装されています。 なぜ「ラムダ」というのかはちょっと面白いです。下記によると、最初は変数に「^」をつけていたが印刷の時の活字がなかったので、「＾」を変数の前につけていて、いつのまにか「λ」になったという嘘のような話が書いてあります。 https://www.quora.com/Why-is-it-called-lambda-calculus これまで、ラムダ関数は関数名を省略する「無名関数」の仲間だと認識していましたが、違っているようで、オブジェクト指向言語の次の世代の「関数型言語」で中心となる概念のようです。…
Posted inコンピュータ

Curryのパラドックス

ケプラー予想の証明の概略は下記プレプリントに出ています（査読後出版済み）。 https://arxiv.org/pdf/1501.02155.pdf 証明支援システムは使ったことがないのでわかりませんが、jupyterやgoogle colaboratoryのような、打ち込んで実行した結果が記録されるノート形式の実行環境ではないかと思います。証明は164000行のそういうコードからなるということで、数人のチームで完成に10年かかった、というのは納得できます。上記論文の中には記号論理学で使う記号がたくさん使われています。私は大学1年生のときにゲーデルの不完全性定理を知りたくて記号論理学を履修しま…
Posted inコンピュータ

ケプラー予想と証明支援システム

フランスの研究所INRIAが開発しているCoqは証明支援システムの一種です。windows,macはインストーラーがあるようです。 https://coq.inria.fr/ 大学院集中講義の機械学習講座の付録で「速習python教室」をやることにしたので準備を始めたのですが、「ラムダ式」を調べていたら、本来の目的からずれてこっちに来てしまいました。面白いですが、いまはCoqには深入りできないので、覚書のつもりで「今日の英語」の題材にしています。 さて、数学のいくつかの問題でコンピュータを用いないと証明できない（現状では）ものが知られていて、有名なものの一つは四色問題(四色定理、数百～数千個の…
Posted inコンピュータ 世界の研究所

世界の研究所 フランス Institut National de Recherche en Informatique et en Automatic

フランスで暴動が起こっているようです。今週の世界の研究所は、フランスから、Inistitut National de Recherce en Informatique et en Automatique (INRIA; 国立情報学自動制御研究所）をとりあげます。 https://ja.wikipedia.org/wiki/%E3%83%95%E3%83%A9%E3%83%B3%E3%82%B9%E5%9B%BD%E7%AB%8B%E6%83%85%E5%A0%B1%E5%AD%A6%E8%87%AA%E5%8B%95%E5%88%B6%E5%BE%A1%E7%A0%94%E7%A9%B6%E6…
Posted in本：TheDoorIntoSummer 生物

The Door into Summer(5) 分子進化時計

金曜日は「夏への扉」を読みながら「時間」について考えています。一般相対論のワームホール解、放射壊変の時定数、エントロピーと時間の矢、と来たので、次は遺伝子の話にしましょう。遺伝子は世代を繰り返すと突然変異によって変化し、これが生物の進化と大きく関係してきます。遺伝子の変化は機能を持たない「偽遺伝子」で最も速く、一定値であると考えてよいということが「分子進化の中立説」として正しいとされており、生物の系統がいつ枝分かれしたか、などの時間の推測に使われています。「分子進化時計」と呼ばれます。化学結合論のLinus Pauling が創始者です。　https://en.wikipedia.org/wi…
Posted in技術・工学・物理・数学

CFRPの非破壊検査法

CFRPの非破壊検査に使えそうな方法を調べました。 ●サーモカメラが使えそうです。例えば赤外線などで温めるか、高温の場所においてから室温の場所に持ってきて測ると、温度が高くなったところが見えます。傷があると温度の一様性が損なわれます。 https://www.electronicdesign.com/technologies/embedded/press-release/21211253/ids-imaging-development-systems-nondestructive-testing-of-composite-materials ●ラジオ波のコイルを近づけて電磁誘導を見る論文があり…