●Vocal 初音ミク●Words/Music/Video ねこむら・Mylist;mylist/34079195・Twitter:@nekomura814■Off vocal:http://piapro.jp/t/GQM5
<あなたのまわりのサイエンス> 「なぜスパゲティは2本でなく 3本に折れるのか」を解く 今回は、手軽に料理することのできる、あの細長い食材についてです。折れ方に、意外と深い物理がかかわっているというのです。 (Z会小学生コース保護者向け情報誌『zigzag time 4・5・6年生』2014年7月号) 【2015年1月17日】 20世紀後半のこと。世界的に有名な物理学の研究者が、知人と一緒に家の台所で、ある疑問を論じあっていました。「なぜ、スパゲティの乾麺は、3本に折れるのだろうか」。 この物理学者は、米国出身のリチャード・P・ファインマン(1918―1988)。彼は、量子電磁力学という物理学の難解な理論で業績を上げ、1965年に日本の朝永振一郎らとともにノーベル物理学賞を受賞した人物です。“天才肌”の研究者としても知られています。 難解な理論を次々解いていったファインマンも、この「スパゲ
ライターや開発者、ゲームファンで構成される非営利団体CRPG Book Projectは、527ページに及ぶコンピューターRPGカタログ「CRPG BOOK」を無料で公開しています。 このプロジェクトは、RPG専門ゲームサイト「RPG Codex」が2014年に行ったRPG紹介企画“RPG Codex Top 70 PC RPGs”から派生したものです。取り上げられているのは1975年から2015年の作品。古今東西400本以上のPC向けRPGタイトルについてのレビューが、コラムなどを交えながら時系列に沿って網羅されています。 海外での企画であるため、紹介されるタイトルも海外産が主流。なかには『イース』に『ファイナルファンタジーVII』、『ブレスオブファイアIV』、『ルセッティア ~アイテム屋さんのはじめ方~』のほか、『Elona』や『ドラゴンナイトIII』など、オフィシャルに英語版がリリー
guest post by Sarah Griffith and Jade Master Most recently, the Applied Category Theory Seminar took a step into linguistics by discussing the 2010 paper Mathematical Foundations for a Compositional Distributional Model of Meaning, by Bob Coecke, Mehrnoosh Sadrzadeh, and Stephen Clark. Here is a summary and discussion of that paper. In recent years, well known advances in AI, such as the developme
概要 以前、JSで書いた(ファミコンのエミュレータを書いた - undefined)ファミコンのエミュレータをRustで書き直してみた。 また、技術的な内容はQiitaの方にも書いているので興味のある方は参照してみてください。(まだ Hello, World!までしか書けてませんが。) qiita.com もともとファミコンのエミュレータって新しい言語を習得するのにちょうどいい題材だったりするのでは、って話しからスタートしてて、よくわからないのでJSで書いてみて、ようやくRustで一通りは実装できた感じ。まだバグや未実装(音声周りやマッパー)も多いんですが、ひとまずはお腹いっぱいな感じ。 成果物 github.com あと、いくつかのROMは以下で遊べるようにしてます。音が出るので注意してください。 またAPUの実装にまだバグが残っているのDCMチャンネルが未実装なので音が変だったり出てな
A guitar effect alters how the input sounds by adding distortion, delaying signal, shifting pitch/frequency and changing dynamics and loudness. Most physical pedals are analog - altering the electric signals directly, with non-existent latency. Digital effect units sample the source input at high frequencies(44100 Hertz) and quickly process using DSP algorithms so the output appears live. This pro
source tweet PDF paper In this paper, we give the first formal (and machine-checked) safety proof for a language representing a realistic subset of Rust. Our proof is extensible in the sense that, for each new Rust library that uses unsafe features, we can say what verification condition it must satisfy in order for it to be deemed a safe extension to the language. We have carried out this verific
tl;dr: I made an experimental Rust repository that lets you write BPF tracing tools from Rust! It’s at https://github.com/jvns/rust-bcc or https://crates.io/crates/bcc, and has a couple of hopefully easy to understand examples. It turns out that writing BPF-based tracing tools in Rust is really easy (in some ways easier than doing the same things in Python). In this post I’ll explain why I think t
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く