富士通C++コンパイラの最適化機能の改善について
watanabe-chiba-report.md 2.4 富士通C++コンパイラの最適化機能の改善について 東京大学物性研究所 物質設計評価施設 渡辺宙志 富士通株式会社 次世代テクニカルコンピューティング開発本部 千葉修一 ※ 本稿はメニーコア時代のアプリ性能検討WG 成果報告書にて公開された内容を整形したものです。 2.4.1 はじめに HPC分野においては、FortranないしC/C++言語が広く使われている。Fortran、C言語、C++言語のいずれも活発に仕様が改定され、現在も発展し続けている言語ではあるが、数値計算向けの「普段使いの言語」としては、おそらくPythonやJuliaなどの方が広く使われていると思われる。特にPythonは、昨今の機械学習ブームの牽引役として広く使われているようである。今後、PythonやJuliaといった言語によるスパコン利用も増えていくと思われる
テニスラケットの定理 - Wikipedia
テニスラケットの慣性主軸 古典力学におけるテニスラケットの定理（テニスラケットのていり、英: tennis racket theorem）または中間軸の定理とは、3つの異なった主慣性モーメントを持つ剛体の運動に関する結果の一つである。この定理に基づく現象を1985年に宇宙空間で再発見した[1]ロシア人宇宙飛行士ウラジーミル・ジャニベコフにちなんでジャニベコフ効果と呼ばれることもある。ただし、この効果自体は少なくとも150年以上前には知られており[2]、現代の古典力学の教科書にも詳述されている[3][4]ので、ジャニベコフも既に知っていたと思われる。この効果を説明する論文が1991年に出ている[5]。 定理の内容は次の通りである。主慣性モーメントが大きい方から慣性主軸を並べると、『剛体の第1，第3の慣性主軸のまわりの回転は安定しているが、第2の慣性主軸（中間軸）のまわりの回転は不安定である。
動的計画法を実現する代数〜トロピカル演算でグラフの最短経路を計算する〜 - Qiita
トロピカル半環と呼ばれる代数構造上のトロピカル行列を利用すると動的計画法を使ってグラフの最短経路の距離を計算するという問題が単純な行列積で解けてしまうらしい。そんな噂12を聞きつけて我々はその謎を解き明かすべく南国（トロピカル）の奥地へと向かった。 トロピカルな世界に行くためにはまずは代数を知る必要がある。要するに群・環・体の話だ。しかしこの記事の目的は代数学入門ではないので詳しい話は他の記事3に譲るとし、さっそく半環という概念を導入する。それは 半環は以下の性質を満たす二つの二項演算、即ち加法（和）"$+$" と乗法（積）"$\cdot$" とを備えた集合$R$を言う $(R, +)$ は単位元 $0$ を持つ可換モノイドを成す: $(a + b) + c = a + (b + c)$ $0 + a = a + 0 = a$ $a + b = b + a$ $(R, \cdot)$ は単
論文紹介: The Ramanujan Machine: Automatically Generated Conjectures on Fundamental Constants - うどん記
2019/06/30 に arXiv にアップロードされた論文である The Ramanujan Machine: Automatically Generated Conjectures on Fundamental Constants を読んだのでその概要をメモしようと思います。 概要 円周率 $\pi$ や自然対数の底 $e$ といった数学の定数を含む式は規則的な項を持つ連分数で表現できることが知られています。例えば wikipedia からの引用ですが以下のような等式が成り立つようです。 論文ではこのような形の等式に関する予想をコンピューターに自動で発見させる手法を提案しています。結果として、これまでに知られていなかった予想を複数個得られたと著者は報告しています。以下は見つかったとされる予想の一例です。 著者らの発見したこれらの等式には数学的な証明はありません ("予想"であるため)
双曲空間ではじめるレコメンデーション - Gunosyデータ分析ブログ
はじめに こんにちは、MediaAds ML Teamに所属している飯塚(@zr_4) です。 以前書いたブログ*1をベースに変更を加えた論文がRecSys 2019 *2 に通りました(ヤッター)。 埋め込みベースの推薦は、近年最も成功を収めた推薦手法の一つです。 埋め込みベースの推薦を行っている多くの大企業では、精度良くアイテムやユーザーを表現するため、数百次元のベクトルを使用しています。それによって、莫大な計算リソースを日々消費していることと思います。またリアルタイムにベクトルの演算を行うために検索システムを自作している企業も少なくないと思います*3。負荷の大きさから、特定のロジックの実装に踏み込めないケースも多々あるかと思います。 一方で近年、埋め込みの空間に双曲空間を用いることで、階層構造、木構造、Directed Acyclic Graph (DAG) が低次元のベクトルで表現
Improvements in GHC's testsuite infrastructure — The Glasgow Haskell Compiler
Ben Gamari - 2019-07-08 GHC’s testsuite is our first line of defense against correctness regressions. However, as is often the case, the infrastructure that keeps it running has been long neglected. Our recent efforts in enforcing a CI-cleanliness in all GHC builds has resulted in a few bits of work that I thought would be nice to share. Improving testsuite driver maintainability GHC’s testsuite i
Lambda calculus - Lambda Calculus
They taught us Turing machines in my computer science classes. Despite being purely theoretical, Turing machines are important: A state machine reading and writing symbols on an infinite tape is a useful abstraction of a CPU reading from and writing to RAM. Many high-level programming languages adhere to the same model: code writes data to memory, then later reads it to decide a future course of a
『NieR:Automata』BGM実装の開発裏話 | NieR:Automata 開発ブログ
ミュージックコンポーザーの上田雅美です。今回はインプリメンテーション（BGMの実装担当）として参加させて頂きました。 僭越ながらCEDEC AWARDS サウンド部門において優秀賞を受賞致しました。岡部啓一さん達の素晴らしい楽曲と、ヨコオタロウさんの見事なディレクションがあったからこそだというのは勿論ですが、何より名誉ある賞に選出頂き大変嬉しく思います。 さて、今回は『NieR:Automata』（以降『NieR』）のBGM実装の中で一番拘ったところについて書かせて頂きます。少し前に社内で『NieR』のBGM実装報告会を行いまして、思いの外反響がありました。中でも一番反響の高かったハッキング制御の部分にフォーカスして、BGM実装の裏話を簡単に書きたいと思います。 ：：：：：：：：：：：：：：：：：：：： 何故8bitに？ ：：：：：：：：：：：：：：：：：：：： ハッキング中は楽曲が8bi
論文｜snmalloc: A Message Passing Allocator (ISMM 2019)
「snmalloc: A Message Passing Allocator」という論文を読んだのでその紹介です。本論文は ISMM (International Symposium on Memory Management) 2019 に採択されており、論文とソースコードは GitHub (microsoft/snmalloc) で公開されています。リポジトリ名から分かる通り、著者の多くが Microsoft Research に所属しています。 免責 読み間違えている可能性があります。正確な情報が欲しい方は必ず論文を読んでください。誤りの指摘や補足、議論などは GitHub Issue や Twitter へお願いします。 更新履歴 2019/07/08 bump pointer と free list の next entry pointer を判定する方法について追記 2019/0
Linux メモリ管理を理解したい - Qiita
Linux カーネルのメモリ管理方法について、勉強したことをまとめる。 メモリ管理はハードウェアに強く依存するため、x86_64 かつ OS起動後に 64bitプロテクトモード に移行したあとに話を絞る。また、OS は CentOS7.6、カーネルは次のバージョンを利用する。 ]# cat /etc/redhat-release CentOS Linux release 7.6.1810 (Core) ]# uname -a Linux localhost.localdomain 3.10.0-957.21.3.el7.x86_64 #1 SMP Tue Jun 18 16:35:19 UTC 2019 x86_64 x86_64 x86_64 GNU/Linux 概要 ノイマン型アーキテクチャ コンピュータの基本的な構成のひとつ。次の図が参考になる。 ほぼ全てのコンピュータが、このアーキ
Go で実装しながら gRPC を理解する
Written by @ryysud Jul 10, 2019 00:00 · 5125 words · 11 minutes read #gRPC はじめに gRPC の理解が浅く gRPC を利用するプロダクトの開発で困ったので調べてまとめてみました。 gRPC について Google が開発した RPC フレームワークで、gRPC を使うと異なる言語で書かれたアプリケーション同士が gRPC により自動生成されたインターフェースを通じて通信することが可能になる。Go で書かれたサーバーに Java で書いたクライアントが接続可能になるイメージ。通信プロトコルには HTTP/2 が使われ、データはバイナリデータでやりとりする仕様。 gRPC の前身は Google 社内で10年以上運用されていた Stubby というもので、多くの機能が標準規格に基づいていないことから長い間 OSS と
)
6万ミリ秒でできるLinuxパフォーマンス分析 | Yakst
NetflixのシニアパフォーマンスアーキテクトであるBrendan Gregg氏による、Linuxサーバにログインして60秒でまず調べることのまとめ。 パフォーマンス問題でLinuxサーバーにログインしたとして、最初の1分で何を調べますか？ Netflixには、多数のEC2 Linuxからなるクラウドがあり、そのパフォーマンスを監視したり調査したりするための数々のパフォーマンス分析ツールがあります。その中には、クラウド全体にわたる監視を行うAtlasや、オンデマンドにインスタンスの分析を行うVectorがあります。これらのツールは多くの問題を解決する手助けをしてくれますが、各インスタンスにログインし、標準的なLinuxパフォーマンスツールを実行する必要がある場合もあります。 この記事では、すぐ使えるはずの標準的Linuxツールを使いコマンドラインにおいて、最適化されたパフォーマンス調査を
A gentle introduction to Linux Kernel fuzzing
For some time I’ve wanted to play with coverage-guided fuzzing. Fuzzing is a powerful testing technique where an automated program feeds semi-random inputs to a tested program. The intention is to find such inputs that trigger bugs. Fuzzing is especially useful in finding memory corruption bugs in C or C++ programs. Normally it's recommended to pick a well known, but little explored, library that
Racket is an acceptable Python -- Dustycloud Brainstorms
A little over a decade ago, there were some popular blogposts about whether Ruby was an acceptable Lisp or whether even Lisp was an acceptable Lisp. Peter Norvig was also writing at the time introducing Python to Lisp programmers. Lisp, those in the know knew, was the right thing to strive for, and yet seemed unattainable for anything aimed for production since the AI Winter shattered Lisp's popul
Raspberry Pi 4 B+ - PCI Express
Connecting external PCI Express devices to Raspberry Pi 4 B+ - since this is the first Raspberry Pi with proper PCI Express interface, it begged to be attempted. Inspiration After the daily dose of Hackaday - and with an idea that seemed very doable, and actually, with some improvements can be easily reproducible. Pi4 - relevant hardware Without much exaggeration, the new Raspberry Pi is likely th
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Animation DSL With Effect Handlers
Fuzzing DNS zone parsers | Frederic Cambus
Shae Erisson's blog - SMT Solvers, Integer Linear Programming
Method for Emulating Higher-Kinded Types in Rust
Decoded: Rogue
What a difference a JVM makes?
GitHub - nerdypepper/pista: a simple {bash, zsh} prompt for programmers