はてなキーワード: Coqとは
フェミニズムの分類が多すぎると聞いて
記述集合論(Borel階層, Projective階層, 汎加法族)
モデル理論(型空間, o-極小, NIP, ステーブル理論)
再帰理論/計算可能性(チューリング度, 0′, 相対計算可能性)
構成主義, 直観主義, ユニバース問題, ホモトピー型理論(HoTT)
体論・ガロア理論
表現論
K-理論
初等数論(合同, 既約性判定, 二次剰余)
解析数論(ゼータ/ L-関数, 素数定理, サークル法, 篩法)
p進数論(p進解析, Iwasawa理論, Hodge–Tate)
超越論(リンドマン–ヴァイエルシュトラス, ベーカー理論)
実解析
多変数(Hartogs現象, 凸性, several complex variables)
関数解析
バナッハ/ヒルベルト空間, スペクトル理論, C*代数, von Neumann代数
フーリエ解析, Littlewood–Paley理論, 擬微分作用素
確率解析
マルチンゲール, 伊藤積分, SDE, ギルサノフ, 反射原理
常微分方程式(ODE)
偏微分方程式(PDE)
非線形PDE(Navier–Stokes, NLS, KdV, Allen–Cahn)
幾何解析
リッチ流, 平均曲率流, ヤン–ミルズ, モノポール・インスタントン
エルゴード理論(Birkhoff, Pesin), カオス, シンボリック力学
点集合位相, ホモトピー・ホモロジー, 基本群, スペクトル系列
4次元トポロジー(Donaldson/Seiberg–Witten理論)
複素/ケーラー幾何(Calabi–Yau, Hodge理論)
スキーム, 層・層係数コホモロジー, 変形理論, モジュライ空間
多面体, Helly/Carathéodory, 幾何的極値問題
ランダムグラフ/確率的方法(Erdős–Rényi, nibble法)
加法的組合せ論(Freiman, サムセット, Gowersノルム)
彩色, マッチング, マイナー理論(Robertson–Seymour)
列・順序・格子(部分順序集合, モビウス反転)
測度確率, 極限定理, Lévy過程, Markov過程, 大偏差
統計学
ノンパラメトリック(カーネル法, スプライン, ブーストラップ)
実験計画/サーベイ, 因果推論(IV, PS, DiD, SCM)
時系列(ARIMA, 状態空間, Kalman/粒子フィルタ)
二次計画, 円錐計画(SOCP, SDP), 双対性, KKT
非凸最適化
離散最適化
整数計画, ネットワークフロー, マトロイド, 近似アルゴリズム
Littleの法則, 重み付き遅延, M/M/1, Jackson網
常微分方程式の数値解法(Runge–Kutta, 構造保存)
エントロピー, 符号化(誤り訂正, LDPC, Polar), レート歪み
公開鍵(RSA, 楕円曲線, LWE/格子), 証明可能安全性, MPC/ゼロ知識
計算複雑性
機械学習の数理
量子場の数理
相転移, くりこみ, Ising/Potts, 大偏差
数理生物学
数理神経科学
無裁定, 確率ボラ, リスク測度, 最適ヘッジ, 高頻度データ
データ解析
睡眠欲求はミトコンドリアの機能と好気性代謝に深く関連していることが示唆されています [1-3]。
* 研究者たちは、**休息状態と睡眠不足状態のハエの脳から単一細胞のトランスクリプトームを解析**しました [1, 4]。
* その結果、睡眠を誘導・維持する役割を持つ**背側扇状体投射ニューロン(dFBNs)**において、睡眠不足後に発現が上昇する転写産物のほとんどが、**ミトコンドリア呼吸とATP合成に関わるタンパク質をコードしている**ことが明らかになりました [1, 5]。
* 対照的に、シナプス集合やシナプス小胞放出に関わる遺伝子産物は選択的にダウンレギュレーションされていました [5]。
* このトランスクリプトームの「睡眠喪失シグネチャー」はdFBNsに特有のものであり、他の脳細胞集団では検出されませんでした [5]。
* 睡眠不足は、dFBNsのミトコンドリアの**断片化、サイズ・伸長・分岐の減少**を引き起こしました [1, 6]。
* また、ミトコンドリアの分裂を促進するDrp1が細胞質からミトコンドリア表面に移動し、**ミトファジー(機能不全のミトコンドリアの除去)と小胞体との接触部位が増加**しました [1, 6-8]。これらの形態変化は、回復睡眠後に可逆的であることが示されています [1, 7]。
* **目覚めている間、dFBNsではATP濃度が高くなる**ことが示されました [2]。これは、神経活動が抑制されATP消費が減少するためと考えられます [1, 2]。
* 高いATP濃度は、ミトコンドリアの電子伝達鎖における**電子過剰**を引き起こし、**活性酸素種(ROS)の生成を増加**させます [1, 2, 9]。このROS生成がミトコンドリアの断片化の引き金になると考えられています [10]。
* CoQプールからの**余分な電子の排出経路を設ける(AOXの発現)ことで、基本的な睡眠欲求が軽減**されました [1, 10, 11]。また、ミトコンドリアのATP需要を増加させる(脱共役タンパク質Ucp4AまたはUcp4Cを過剰発現させる)ことで、**睡眠が減少**しました [11]。逆に、電子ではなく光子でATP合成を促進すると、dFBNsにおけるNADH由来の電子が冗長となり、**睡眠が促進**されました [1, 11]。
* dFBNsのミトコンドリアを**断片化させる**(Drp1の過剰発現やOpa1のRNAiによる減少)と、**睡眠時間が減少し、睡眠剥奪後のホメオスタティックな回復も抑制**されました [1, 12-14]。同時に、dFBNsのATP濃度は低下し、神経興奮性も低下しました [1, 14, 15]。
* ミトコンドリアの**融合を促進する**(Drp1のノックダウンやOpa1とMarfの過剰発現)と、**基礎睡眠および回復睡眠が増加**し、覚醒閾値が上昇しました [1, 12-14]。これによりdFBNsの神経興奮性が高まり、睡眠を誘発するバースト発火が増加しました [1, 14]。
* ミトコンドリアの融合には、カルジオリピンから生成される**ホスファチジン酸**が重要であり、そのレベルを調節するタンパク質(zucchiniやMitoguardin)への干渉も睡眠喪失を再現しました [16]。
* 睡眠は、好気性代謝の出現と共に、特にエネルギーを大量に消費する神経系において発生した古代の代謝的必要性を満たすために進化した可能性が示唆されています [3]。
* 睡眠量と質量特異的酸素消費量との間に経験的なべき乗則が存在し、これは哺乳類においても睡眠が代謝的役割を果たすことを示唆しています [3]。
* **ヒトのミトコンドリア病の一般的な症状として、「圧倒的な疲労感」が挙げられる**ことも、この仮説と一致しています [3, 17]。
* 哺乳類における飢餓関連ニューロン(AgRPニューロン)とdFBNsの間のミトコンドリアダイナミクスの類似性は、**睡眠欲求と空腹感の両方がミトコンドリア起源を持つ**可能性を示唆しています [18]。
この研究は、睡眠が単なる行動や神経学的現象ではなく、**細胞レベルでのエネルギー代謝、特にミトコンドリアの機能に深く根ざした生理学的プロセス**であることを示しています [1, 3]。 <h3>o- **</h3>
この研究は、**睡眠が好気性代謝の避けられない結果である**という画期的な仮説を提唱し、睡眠圧の根源がミトコンドリアの機能にある可能性を探求しています [1, 2]。これまで物理的な解釈が不足していた睡眠圧のメカニズムを解明するため、研究者らはショウジョウバエ(*Drosophila*)をモデルに、脳内の分子変化を詳細に分析しました [3]。
研究の中心となったのは、睡眠の誘導と維持に重要な役割を果たす特定のニューロン集団、**背側扇状体投射ニューロン(dFBNs)**です [1, 3]。休眠状態と睡眠不足状態のハエのdFBNsから単一細胞のトランスクリプトームを解析した結果、驚くべきことに、**睡眠不足後にアップレギュレートされる転写産物が、ほぼ独占的にミトコンドリアの呼吸とATP合成に関わるタンパク質をコードしている**ことが判明しました [1, 4]。これには、電子伝達複合体I〜IV、ATP合成酵素(複合体V)、ATP-ADPキャリア(sesB)、およびトリカルボン酸回路の酵素(クエン酸シンターゼkdn、コハク酸デヒドロゲナーゼBサブユニット、リンゴ酸デヒドロゲナーゼMen-b)の構成要素が含まれます [4]。対照的に、シナプス集合、シナプス小胞放出、およびシナプス恒常性可塑性に関わる遺伝子産物は選択的にダウンレギュレートされていました [4]。このミトコンドリア関連遺伝子のアップレギュレーションというトランスクリプトームのシグネチャは、他の脳細胞タイプ(例: アンテナ葉投射ニューロンやケーニヨン細胞)では検出されず、dFBNsに特有の現象でした [4]。
これらの遺伝子発現の変化は、ミトコンドリアの形態と機能に顕著な影響を与えました。睡眠不足は、dFBNsのミトコンドリアのサイズ、伸長、および分岐を減少させるという**ミトコンドリアの断片化**を引き起こしました [5]。さらに、ミトコンドリア外膜の主要な分裂ダイナミンである**ダイナミン関連タンパク質1(Drp1)**が細胞質からミトコンドリア表面へ再配置され、オルガネラの分裂を示唆するミトコンドリア数の増加も確認されました [5]。加えて、睡眠不足は**ミトコンドリアと小胞体(ER)間の接触数の増加**および損傷したミトコンドリアを選択的に分解するプロセスである**マイトファジーの促進**を伴いました [1, 6]。これらの形態学的変化は、その後の回復睡眠によって可逆的であり、電子伝達鎖における電子溢流(electron overflow)の設置によって緩和されました [1, 5]。
本研究は、**睡眠と好気性代謝が根本的に結びついている**という仮説に、客観的な支持を提供しています [7]。dFBNsは、その睡眠誘発性スパイク放電をミトコンドリアの呼吸に連動させるメカニズムを通じて睡眠を調節することが示されています [7]。このメカニズムの中心には、電圧依存性カリウムチャネルShakerのβサブユニットである**Hyperkinetic**があります。Hyperkineticは、ミトコンドリア呼吸鎖に入る電子の運命を反映するNADPHまたはNADP+の酸化状態を反映するアルド-ケト還元酵素であり、dFBNsの電気活動を調節します [7-9]。
ATP合成の需要が高い場合、大部分の電子はシトクロムcオキシダーゼ(複合体IV)によって触媒される酵素反応でO2に到達します [7]。しかし、少数の電子は、上流の移動性キャリアであるコエンザイムQ(CoQ)プールから時期尚早に漏洩し、スーパーオキシドなどの**活性酸素種(ROS)**を生成します [7, 10]。この非酵素的な単一電子還元の確率は、CoQプールが過剰に満たされる条件下で急激に増加します [7]。これは、電子供給の増加(高NADH/NAD+比)または需要の減少(大きなプロトン動起力(∆p)と高ATP/ADP比)の結果として発生します [7]。
dFBNsのミトコンドリアは、覚醒中にカロリー摂取量が高いにもかかわらず、ニューロンの電気活動が抑制されるためATP貯蔵量が満たされた状態となり、この**電子漏洩**のモードに陥りやすいことが分かりました [7]。実際、遺伝子コード化されたATPセンサー(iATPSnFRおよびATeam)を用いた測定では、一晩の睡眠不足後、dFBNs(ただし投射ニューロンではない)のATP濃度が安静時よりも約1.2倍高くなることが示されました [7, 11]。覚醒を促す熱刺激によってdFBNsが抑制されるとATP濃度は急激に上昇し、dFBNs自体を刺激して睡眠を模倣するとATP濃度はベースライン以下に低下しました [7, 11]。
これらの結果は、**ミトコンドリア電子伝達鎖に入る電子数とATP生成に必要な電子数との不一致が、睡眠の根本原因である**という強力な証拠を提供するものです [12]。
ミトコンドリアの分裂と融合のバランスの変化が、睡眠圧の増減を引き起こすNADH供給とATP需要の不一致を修正するフィードバックメカニズムの一部であるならば、dFBNsにおけるこれらの恒常的応答を実験的に誘発することは、睡眠の**設定点**を変化させるはずであるという予測が立てられました [13]。
この予測を検証するため、研究者らはミトコンドリアのダイナミクスにおいて中心的な役割を果たす3つのGTPase(分裂ダイナミンDrp1、内膜タンパク質Opa1、外膜タンパク質Marf)を実験的に制御しました [13]。
また、ミトコンドリアの融合反応において重要な役割を果たす**ホスファチジン酸**の関与も明らかになりました [17]。睡眠不足の脳では、この脂質が枯渇することが知られています [17]。ミトコンドリアホスホリパーゼD(mitoPLD)であるzucchini、または触媒的に活性なmitoPLDを安定させたり、他の細胞膜からミトコンドリアにリン脂質を輸送したりする外膜タンパク質Mitoguardin(Miga)の発現に干渉すると、これらのニューロンのタンパク質ベースの融合機構が標的とされた場合に見られた睡眠損失が再現されました [17]。これは、**融合反応におけるホスファチジン酸の重要性**と、**睡眠調節におけるミトコンドリア融合の重要性**を裏付けています [17]。
本研究は、**睡眠が好気性代謝の避けられない結果である**という説に、強力な経験的証拠を提供するものです [1, 2]。好気性代謝は、地球の大気中の酸素濃度が2回大きく増加した後、真核生物が電子伝達から得られる自由エネルギー収量を最大化することを可能にした画期的な進化であり、これにより、電力を大量に消費する神経系が出現し、それに伴って睡眠の必要性が生じたと考えられています [2]。睡眠はその後、シナプス恒常性や記憶の固定などの追加機能も獲得した可能性がありますが [2]、哺乳類においても1日の睡眠量と質量特異的O2消費量を関連付ける経験的な**べき乗則**が存在し、これは睡眠が古代の代謝目的を果たすことを示唆しています [2, 18, 19]。
もし睡眠が本当に代謝的な必要性を満たすために進化したのであれば、睡眠とエネルギーバランスを制御するニューロンが類似のメカニズムによって調節されることは驚くべきことではありません [20]。哺乳類の視床下部において、食欲増進性ニューロンと食欲不振性ニューロンのミトコンドリアは、分裂と融合の位相が逆のサイクルを経ており、これらのサイクルはマウスのエネルギーバランスの変化と結びついています [20, 21]。これは、ショウジョウバエのdFBNsにおけるミトコンドリアの分裂と融合のサイクルがハエの睡眠バランスの変化と結びついているのと同様です [20]。AgRPニューロンの電気的出力は、体重増加と脂肪蓄積を促進するためにミトコンドリア融合後に増加しますが、これはdFBNsの Permalink | 記事への反応(0) | 19:25
東京のカスヤローどもが、「アテクシ、美術館とライヴのない生活は無理でしてよ!」とか抜かしてんのを見ると、なんかスゲ〜ムカつくので、じゃあ家の周りに美術館がねえこの俺が、キサマより美術や音楽に詳しくなったるわ!という気持ちをもってのことです
やり方については詳述しねえ
詳しくは言えねえけど、ある海外人気の高い大型SNS(って言ったらもう分かりそうだけど…)で、美術とか食とか旅行とか写真みたいな、そういう徳の高いコミュニティ(5chでいうところの板みたいなものがメインのSNSなので、タイムラインを個人ではなくジャンルで作ることになる)をまとめたフィードを作って、それを毎日みる
カザフスタンの旅行写真とか、デトロイトスタイル・ピザとか、マックスフィールド・パリッシュの絵とか、Coq au vinっつうカッコいい上にうまそうなフランス料理とか、そういうものの知識が毎日流し込まれる
マックスフィールド・パリッシュの絵なんか、実際結構気に入った 名前を覚えるくらいに気に入った
冬の風景画の、明朝の深い青色の空の感じが非常に「わかる」感じで、大変よろしい
こういう風景、実際に目にして感動して、あとで見返そうと思って写真にとっても、ぜんぜん感動を切り取れないんだよな
絵で味わえるのはホントにありがてえ
今日見た中だと、秘密ですよ、Alex Colvilleという人のPacificって絵、これがマジで超カッコよかった
オーシャンビューの、開放的で生活感のない部屋で、上半身裸の男が気だるげに海を見ている、のを後ろから見ているって絵なんだけど、なんといっても手前の机にぽつんと置かれた拳銃が目を惹く
この銃はなんなのか、既に使われたのか、これから使うのか?男は何者なのか?何を思っているのか?
男の方から上がフレームアウトしていて、表情なんかがまったく伺えないのもシブい
この絵にインスピレーションを受けた映画があるっていうのも頷ける話だ これはカッコいいよ
いい絵を見ましたねえ!
実際、旅先で美術館行っても、あーこれモネなんだあ、モネって誰だっけ?マネと関係あるんだっけ?とか思って、ただ見たって事実に満足してしまって、画家のこととか個別の絵のエピソードなんて全然覚えないことが多い
まあそれはそれで贅沢なことで、非常に文化的であることは否定できねえが、しかし、東京野郎がそうしている間に俺は俺の組み上げた電子美術館で文化資本を積み上げていくぞ
そんで、東京から来たんスよ、とのたまう野郎のTシャツを見て言うんですよ、「あれ?この絵ってコルヴィルの"パシフィック"じゃないですか!カッコいいですよねえ」とかってさあ!「えっ…ああ、このシャツですか?へー…そんな名前の絵なんだ、気にしてなかった」「あら、そうなんですか?残念、マイケル・マン監督がお好きだったりするのかなと思ったんですけど!」
ウゼー 書いてて嫌になってきた
こんな瞬間は訪れなくていいんだけど、しかし、カードとして切れるものが増えるのは嬉しい
カードとして切るっつうのはなにもマウントを取るだけのことじゃねえ 適当に行った美術館で偶然見かけた絵の青色に見覚えがあって、これはパリッシュ・ブルーなんじゃねえの?!と思って作者名を見たら実際にそうで、ヨッシャ〜とか小声で言って、だれに共有するでもなく、ただマスクの下でニヤつきながら観光を続行、そういう瞬間に俺のもつカードは確かに切られているということになる
https://ja.wikipedia.org/wiki/Coq
Coq, Idris, Agdaあたりの言語がその課題に対するテクノロジーではあるけれど、日本語を入力にするのが大変そう