極限まで遺伝子を削った人工細胞でも進化は可能なのか？ (2/2) - ナゾロジー
人工細胞は自然細胞よりも早く進化できる人工細胞は自然細胞よりも早く進化できる / Credit:R. Z. Moger-Reischer . Evolution of a minimal cell . Nature (2023)必要最低限の遺伝子しか持たない人工細胞「JCVI‐syn3B」も進化できるのか？ 謎を解明するため研究者たちは人工細胞を栄養素が貧しい厳しい環境に置き300日間、2000世代に渡って培養を続けました。 （※2000世代は人間で言えば4万年に匹敵します） 結果、最小限の遺伝子しか持たなくても、元となるM・ミコイデスに見劣りしない高い変異が起きていると判明します。 また環境への適応力が2倍に増加しており、元となるM・ミコイデスに匹敵するレベルに回復していることがわかりました。 半数近い遺伝子の喪失により人工細胞の適応力は53%低下していましたが、2000世代におよぶ進化
Coq/SSReflect/MathCompで解析入門の1章の命題を全て証明
はじめにCoqで解析入門の1章にある命題を全て証明してみたので記事を書いてみます。 Coqでの証明大学で記号論理学の授業を受けたことはありますか？記号論理学では数学の命題を証明木を用いて形式的証明をしていましたがCoqでも形式的証明をします。流れは以下です。 数学の命題を論理記号で書きますゴールが表示されるので適切にCoqのTacticを使いますするとゴールが変わるので未証明のゴールがなくなるまで繰り返しTacticを使います Coqでの証明の魅力は 証明が正しいことをCoqが保証してくれること(Coqにバグがあるかもしれませんが多分)証明した定理が他の定理の証明に使えて楽しいところ などです。 やろうと思った背景大学1年生の頃、解析入門を前から読んで途中で理解できなくなって読み直すというのを繰り返していました。 いつか理解したいなと思っていたときに記号論理学の授業を受けて解析入門の証明も
いぐぞー！！ ✈️ 旅するプログラマー on Twitter: "会社を退職してハローワークに通った時に思ったけど、この世は、隅から隅までルールブックを読む人には優しくて「なんとなく」で生きてる人には、とことん厳しいんだなと思ったよ。 ちゃんとした手続きを踏むだけで100万円くらい失業手当が違ってくる。"
会社を退職してハローワークに通った時に思ったけど、この世は、隅から隅までルールブックを読む人には優しくて「なんとなく」で生きてる人には、とことん厳しいんだなと思ったよ。 ちゃんとした手続きを踏むだけで100万円くらい失業手当が違ってくる。
天候の悩みを全て解決する愛車カバー「Vinoya」
このプロジェクトは、2022-01-24に募集を開始し、105人の支援により3,998,000円の資金を集め、2022-02-28に募集を終了しました 「Vinoya」は春の雨、夏の日差し、秋の落ち葉、冬の雪から一年中にあなたの愛車をしっかり守る自動カーカバーです。リモコンでワンプッシュ自動展開・収納・停止ができます。1回の充電で45日間使用可能で、さらに盗難防止機能＆蛍光反射テープ付きで、夜間の駐車も安心！使わない時はトランクにコンパクトに収納！ 「Vinoya」（ヴィノヤ）主な特徴：ソーラー充電対応＆バッテリー取り外しOK！フル充電で45日間使用可能！ 紫外線や雪など、一年中どの気候からも愛車を守る！ ほとんどの車種に対応！ビッグサイズなのに収納時はコンパクト！ 汚れが落ちやすく防水性も高い素材・車を傷つけない仕様・盗難防止アラーム機能！ 「Vinoya」は、春の雨、夏の日差し、秋の落
岡部 洋一 のトップページ
放送大学学生 okabe (at) ouj. ac. jp Twitter のページ (__obake) Facebook: 放送大学バーチャルキャンパス 岡部 最終更新日: (創設: 1995-05-01) What's New 2021-10-08: 「地動説から見た天動説」を公開New! 2021-05-02: 「三原色と混色」を公開New! 2021-02-10: 「座標変換(リーマン幾何学)」を補填して「リーマン幾何学と相対性理論」プレアデス出版を再版New! 2020-09-21: 「非ユークリッド幾何学」を公開New! 2020-05-22: 「発声法」を公開 2017-03-12: 「和音」を「音階」から分離 2017-03-12: 「音階」に中全音律音階と不等分律音階の章を追加 2017-02-09: 「スキーの科学とボードの科学」をコブに関し改訂 目次 書き物 Webに
Docker完全に理解した | IIJ Engineers Blog
九州支社技術部(九州・中四国事業部)所属。自作パソコン好きで、ハードウェア選定の仕事を与えると喜ぶ。最近は何でもコンテナにしたい教に入信し、コンテナ化の機会を虎視眈々と狙っている。 Docker完全に理解した？ 【エンジニア用語解説】 「完全に理解した」 製品を利用をするためのチュートリアルを完了できたという意味。 「なにもわからない」 製品が本質的に抱える問題に直面するほど熟知が進んだという意味。 「チョットデキル」 同じ製品を自分でも１から作れるという意味。または開発者本人。 — 伊藤 祐策(パソコンの大先生) (@ito_yusaku) September 20, 2018 ということで、Docker完全に理解したので、自分なりの「これからDockerでコンテナを始める時のポイント」をいくつかご紹介したいと思います。 申し遅れましたが、九州支社技術部(九州・中四国事業部)所属のy-m
山手線の内側2つ分の土地が放出予定？ 「2022年問題」は本当に“不動産ショック”をもたらすのか
コロナ禍による金融緩和やリモートワークの普及といった追い風もあって、2021年の国内不動産市況は、マンションや住宅を中心に活発となった。国土交通省の不動産価格指数（住宅）をみると、21年9月の指数は122.5と最高値を更新している。ビフォアーコロナの最高値であった19年1月の115.0から8.7ポイントも増加しているのだ。 コロナ禍によって東京への人口流出に一定の歯止めがかかった結果、地方都市（札幌・仙台・広島・福岡）の基準地価も前年比で4.4%と高い伸び率を記録した。東京においても、港区・湾岸エリアのタワーマンションのような「成功者の象徴的物件」の価格は、コロナ禍によって年平均で2ケタ%以上の値上がりを示している。もはや世帯年収1000万円を超える「パワーカップル」では歯がたたないレベルとなっている。 また、郊外エリアで人気が高まっている北千住や、そこからほど近い亀有といったエリアにも人
Prolog Tutorial -- Contents
Introduction 1. How to Run Prolog 2. Sample Programs -- Descriptions 2.1 Map colorings 2.2 Two factorial definitions 2.3 Towers of Hanoi puzzle 2.4 Loading programs, editing programs 2.5 Negation as failure 2.6 Tree data and relations 2.7 Prolog lists and sequences 2.8 Change for a dollar 2.9 Map coloring redux 2.10 Simple I/O 2.11 Chess queens challenge puzzle 2.12 Finding all answers 2.13 Truth
Python：PyQtGraphで2次元波動方程式の数値シミュレーションをリアルタイムプロット（有限差分法） - Wizard Notes
PyQtGraphで美しいリアルタイムプロットができることを最近知ったので、実装例として2次元波動方程式の数値シミュレーション（有限差分法）をリアルタイム実行・プロットしてみました。 実装のための数式導出と、PyQtGraphを使ったソースコードを合わせて紹介します。 2次元波動方程式の有限差分法の更新式導出 以下の2次元波動方程式の初期値・境界値問題の解を有限差分法によって近似的に解くことを考えます。 この を 平面上の格子点での値として求めていきます。ただし、 平面のそれぞれの方向の格子間隔（微小変化）を ）とします． 右辺，左辺の項をそれぞれテイラー展開し2階中心差分を導出します。詳しくは、最下部の参考ページをご参照ください。 それぞれ、以下のような形になります。 ここで，はそれぞれの格子点のインデックス，は時間ステップを表します。これらの数式を右辺・左辺に代入し，次の時間ステッ
Windows Insiders can now test DNS over HTTPS
Credit and thanks for feature work to Alexandru Jercaianu and Vladimir Cernov If you have been waiting to try DNS over HTTPS (DoH) on Windows 10, you're in luck: the first testable version is now available to Windows Insiders! If you haven’t been waiting for it, and are wondering what DoH is all about, then be aware this feature will change how your device connects to the Internet and is in an ear
JavaScriptの非同期処理を理解する その2 〜Promise編〜 | さくらのナレッジ
こんにちは！小田島です。前回の「コールバック編」を納稿したとき、アイキャッチ画像はJavaScriptのロゴにタイトルの文字を入れただけというとんでもないやっつけ仕事だったのですが、さくナレ編集部の方に「シリーズで理解が深まる」というすごい煽り文句がついたとてもカッコいい画像に差し替えていただきました。アイキャッチ詐欺にならないようにがんばります。 非同期処理シリーズの2回目はPromiseについての説明です。前回はコールバックについて説明しましたが、Promiseを使うことでどのように便利になったのでしょうか。それでは見ていきましょう！今回はコードが多いのでかなり分量が多く感じられるかもしれませんが、実際はあまり大したことはありません。 今回の目的 今回説明するのはPromiseです。これはFutureパターン（Promiseパターン）というデザインパターンの一種で、ECMAScript
DockerユーザーのためのPodmanとBuildahの紹介 - 赤帽エンジニアブログ
皆さま、こんにちは。Red Hatの西村(@iamnishipy)です。入社するまでDockerユーザーだった私が、わかりやすいと感じたPodmanの記事を共有いたします。 この記事はRed Hat DeveloperのPodman and Buildah for Docker usersを、許可を受けて翻訳したものです。 :::William Henry 2019年2月21日::: 最近Twitterにて、Dockerに詳しい人のためにPodmanとBuildahをよりよく説明してほしいと頼まれました。ブログやチュートリアル(後ほど紹介)はたくさんありますが、DockerユーザーがどのようにDockerからPodmanやBuildahに移行していくのかについて、私たちコミュニティから一元的な説明を行っていませんでした。Buildahはどのような役割を果たしているのでしょうか？Docker
1年生の数学演習
牛腸 徹 & 清野 和彦 数理科学研究科棟 5階524号室 牛腸が 数学の魅力#05 ―女子中高生のために― で講演しました。 講演題目 : 「行列」ってなに？おもしろいの？ 講演要旨 配付冊子 このサイトの目的は、 牛腸徹及び清野和彦が現在担当している、および過去に担当した 演習や全学ゼミナールのために作成した問題や解説の資料を、 PDF（および DVI）形式のファイルとして提供することです (が、事情により清野の作成した資料は未公開としています）。 2023年度 (今年度) 2022年度 2021年度 2020年度 2019年度 2018年度 2017年度 2016年度 2015年度 2014年度 2013年度 2012年度 2011年度 2010年度 2009年度 2008年度 2007年度 2006年度 2005年度 2004年度 2003年度 2002年度 2001年度 2000
27のOLだけど昨日初めてセックスした
相手は今年初めてできた一つ上の彼氏だった。こんなパッとしない女にも彼氏ができるとは思わなかったし、セックスがこんなに幸せだとは思わなかった。私はいままで告白もされたことないし、したこともない典型的なモテない女だった。 私は大学卒業後に実家を出て一人暮らししながら、とりあえず就職して働いて転職して食って寝て一人で酒飲みながらゲームやYouTube見てときどき増田見ながら生きてるって生活をしてた。 私と彼氏さんは職場で出会った。部署は同じだったけど、お互い最初はそんなに気にしてなかった。親しくなったキッカケは去年の部署の忘年会でたまたま席が隣だった。どちらも洋楽が好きで、あるアーティストのファンだった。それからちょくちょく職場で話していくうちに連絡先交換をして食事に誘われた。 セックスのときの肌と肌が触れ合う感覚はまだ忘れていない。男の人の裸を生で見るのは初めてだったし、「あぁ、なんか女の人よ
Python の __new__ ってなに？ | 民主主義に乾杯
# 2. __new__ は、いつ使うの？ 答え: immutable を初期化したい（本稿で解説） singleton を実装したい（Python でシングルトンを書く） (opens new window) 引数をもとにクラスを切り替えたいとき（メタクラスで紹介） この記事では immutable なオブジェクトを初期化する際に __new__ の使い方について説明させていただきます。 immutable については以下の記事で説明させていただきました。 Python の immutable と mutable の違い 実際に immutable なクラスを定義したいときは namedtuple (opens new window) 関数を使います。 このページでは tuple を継承した immutable なクラスで __new__ の簡単な使い方をご紹介します。 namedtup
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Pendlesky on Twitter: "必見。この話がメインストリームになるまで、20年以上の時間が必要だった。感慨深いけれど、やるせない。プーチンはこの間、際限なく増長した https://t.co/iJDCxdpoC1"
空き巣対策と近所の交流の復活。スマートロック&ドアベルが効果絶大【実家見える化】
Citation de Lao-Tseu
ゆうな on Twitter: "東大の牛腸先生と清野先生が担当されている、学部生1年向けの数学の授業pdfが2004〜2020まで16年分ストックされてます。初学者におすすめです。 https://t.co/UISbBE4g6t"
HUMMERさん990本。 | 英語のベンキャウ。〜英単語。