5月2日 睡眠と覚醒の調節機構研究の新しい展開（4月29日号Science掲載論文） | AASJホームページ
このホームページでも睡眠と覚醒を調節している機構についての研究を何回か紹介してきた。研究は、眠りの様々な状態を維持するための神経サーキットについて研究する方向と（http://aasj.jp/news/watch/2210）、脳脊髄液内の物質の変化を追求する方向（http://aasj.jp/news/watch/608）、に大別できるようだ。それぞれの研究を読むと、門外漢の私などはすぐに説得されるが、よくよく考えてみると、どちらの方向からも、最初から最後までの因果関係を説明するシナリオは出ていない。しかし、素人に取っても面白い研究の多い分野であることは確かだ。 今日紹介するロチェスター大学からの論文は、細胞外のカリウム濃度が睡眠と覚醒のサイクルを反映しており、この濃度差が脳全体の興奮性を調節している主因であることを示した研究で、4月29日号のScienceに掲載された。タイトルは「Cha
クワインと対角化定理 ～計算理論入門～ - いきるちから
はじめに クワインとは この前プログラミングの教科書を読んでいたら面白い問題があった。大雑把には次のような感じ。*1 自分自身のソースコードを出力するプログラムを書け。 調べてみたところクワインというらしい。細かい話をすると入力を受け取るのもダメだそうなので上の問題文よりは厳しい。詳しい話はWikipediaにある。 クワイン (プログラミング) - Wikipedia 結構難しいし、SchemeとかHaskellはまだしもCのやつとか何やってるのか初見じゃ意味不明。頭がこんがらがるのが味わえるのでぜひ考えてみて欲しい。 クワインと計算理論 ところで、計算理論をかじったことある人は「これ対角化して不動点つくればいいんじゃね？」と気がつくと思う。実際その方針でこの問題は解けるし、Cとかのわけ分からん例もこのことを理解してるとすんなり分かる。もろに理屈っぽい計算理論が割と身近に思えるクワインに
Comparing Python Clustering Algorithms
Comparing Python Clustering Algorithms¶(Why you should use HDBSCAN)¶There are a lot of clustering algorithms to choose from. The standard sklearn clustering suite has thirteen different clustering classes alone. So what clustering algorithms should you be using? As with every question in data science and machine learning it depends on your data. A number of those thirteen classes in sklearn are sp
This Week in Rust 128 · This Week in Rust
Hello and welcome to another issue of This Week in Rust! Rust is a systems language pursuing the trifecta: safety, concurrency, and speed. This is a weekly summary of its progress and community. Want something mentioned? Tweet us at @ThisWeekInRust or send us an email! Want to get involved? We love contributions. This Week in Rust is openly developed on GitHub. If you find any errors in this week'
Non-lexical lifetimes: introduction · baby steps
This blog is where I post up various half-baked ideas that I have. All PostsCategoriesGitHubTwitterRSS/Atom feeds Over the last few weeks, I’ve been devoting my free time to fleshing out the theory behind non-lexical lifetimes (NLL). I think I’ve arrived at a pretty good point and I plan to write various posts talking about it. Before getting into the details, though, I wanted to start out with a
tetrakai
In May last year, a new attack on the Diffie Hellman algorithm was released, called Logjam. At the time, I was working on a security team, so it was our responsiblity to check that none of our servers would be affected. We ran through our TLS config and decided it was safe, but also needed to check that our SSH config was too. That confused me – where in SSH is Diffie Hellman? In fact, come to thi
Presentation of the vulkano library
Yesterday I published for the first time the vulkano library on crates.io. I have been actively working on this library since the release of the Vulkan API in february, and I think it is now in a semi-usable state. This means that breaking changes are still happening, but the general design is more or less stable. What is Vulkan? Vulkan is a next generation graphics API by Khronos, which successes
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://blog.ezyang.com/2016/05/announcing-cabal-new-build-nix-style-local-builds/
The Big Forest
rewrite tor in rust-lang (#11331) · Issues · Legacy / Trac · GitLab
