Bytedeco - Home
Bytedeco makes native libraries available to the Java platform by offering ready-to-use bindings generated with the codeveloped JavaCPP technology. This, we hope, is the missing bridge between Java and C/C++, bringing compute-intensive science, multimedia, computer vision, deep learning, etc to the Java platform. Core Technologies JavaCPP [API] – A tool that can not only generate JNI code but also
都築響一presentsぴんから体操新作展＆兵頭喜貴個展告知 | Saeborg
「露出投稿雑誌」というメディアがあるのをご存じだろうか。「露出」といっても写真の露出＝exposureではなくて、「露出狂」の露 出＝exhibitionismの露出。つまり野外や公共の場所で、あられもない姿を晒し、それを撮影した画像によって構成される雑誌のことである。そういう写真はほとんどの場合、プロのカメラマンとモデルではなく、シロウトが撮影者となり、モデルとなるのであって、そのリアリティが（クオリティではなく）読者の共感や興奮を呼ぶことは言うまでもない。 日本の写真雑誌が大きな変化を遂げるのは1980年代であり、それは一眼レフなど高性能なカメラ機材が、中高生でも容易に購入できるようになった時代でも あった。1981年には新潮社から『FOCUS』、白夜書房から『写真時代』という対照的な、そして革新的な写真雑誌が世に出たが、それらはまだプロの写 真家による作品によって、ほとんどすべてのペ
「ムーミン」作者トーベ・ヤンソン生誕100周年 国内初の大型展開催
トーベ・ヤンソン 《「たのしいムーミン一家」挿絵》 所蔵先：タンペレ市立美術館ムーミン谷博物館 制作年：1948年 (C) Moomin Characters ™
コルグからヤマハNSX-1搭載の初音ミク機器、MIKU STOMPが登場だ！｜DTMステーション
8月30日、大阪でクリプトン・フューチャー・メディアとTOKYO MX主催による初音ミクのイベント「マジカルミライ 2014 in OSAKA」が開催されました。取材に行けたわけではないのですが、ここでコルグからMIKU STOMPなる「初音ミクが歌うボーカロイド・エフェクター」が発表されました。 コルグが何かやるらしいという情報は以前からキャッチしていたものの、こういう形だったとは想定外。私もMIKU STOMPが発表されたのを知ったのは昨夜で、その後、関係者にいろいろと当たっているものの、ややガードが固く、しっかりした情報がとれているわけではないのですが、半分憶測も含めて、これがどんなものなのか見てみたいと思います。 【追記】 9月4日、KORGから正式発表されました。市場予想価格は13,000円前後とのこと。内容的には今回の記事どおりのようです。ユーザーエリアには約6,000文字が入
Félicitations ! Votre domaine a bien été créé chez OVHcloud !
Vous pouvez dès à présent lui associer un hébergement, en choisissant la solution la plus adaptée à vos besoins : Hébergement Web Une solution économique pour héberger vos projets Web : site Internet, boutique en ligne, landing page... En savoir plus VPS Alliez la flexibilité du Cloud à la liberté du dédié avec nos solutions VPS clef en main. Accompagnez vos projets Web vers une nouvelle étape. En
Web Audio API でもテストがしたい - 音の鳴るブログ
開発中に node.js でもテストできるように Web Audio API のテスト用APIを書いた。 最終的なオーディオ処理の結果については耳で確認するしかないのだけど、音を聞くまでもない段階のときに AudioNode(音を出す部品) がどう接続されているのかを調べたりできる。便利だと思うけど、これがあって嬉しい人は少ないと思う。あるのはインターフェースと型のチェックくらいで、信号処理的なのは一切していません。こういう事ができます。 グラフの確認 JSON化すると接続状態が返ってくるのでテストできる。 var ctx = new AudioContext(); var osc = ctx.createOscillator(); var amp = ctx.createGain(); osc.type = "sawtooth"; osc.frequency.value = 220; o
Alloy Analyzer で形式仕様記述
仕様を形式的に記述/検査することのできる言語やツールは、VDM, B, Z, Isabelle など他にも色々ありますが、 Alloy はそれらにくらべてより軽いフットワークで記述/検査することができるツールです。 それらのツールと Alloy との比較も、機会があればご紹介したいと思います。 2. Alloy を使った形式仕様記述の特徴 数理論理学＋集合論をベースとした Alloy の言語で仕様を記述します。 書いた仕様を、簡単に検査することができます。 難しい論理式の証明などは必要ありません。 検査結果は図で表示してくれるので、結果を目視で直感的に理解することができます。 仕様で書いた振る舞いをシミュレーションすることができます。 3. このページのスコープ ここでは仕様のうち、概要レベルの仕様や、重要な部分だけを抜き出した仕様といった、抽象度の高い仕様をスコープとしています。 抽象度
Enterprise Container Platform | Docker
Products Docker DesktopContainerize your applicationsDocker HubDiscover and share container imagesDocker ScoutSimplify the software supply chainDocker Build Cloud Speed up your image buildsTestcontainers Desktop Local testing with real dependenciesTestcontainers Cloud Test without limits in the cloud See our product roadmapMORE resources for developers
Programs and Proofs
Mechanizing Mathematics with Dependent Types Lecture notes with exercises Ilya Sergey These lecture notes are the result of the author's personal experience of learning how to structure formal reasoning using the Coq proof assistant and employ Coq in large-scale research projects. The present manuscript offers a brief and practically-oriented introduction to the basic concepts of mechanized reason
大阪出身の“ナイーブなチンピラ”四万十川友美、ペニスを歌う | 日刊SPA!
大阪から変わった奴が出てきた。何を考えているのか、不穏な眼つきをして、震えている青年。生ギター背負ったチンピラ。でも、それだけじゃない。このチンピラの発する音は、声は、ガラス細工のように繊細で、あっという間に壊れてしまいそうだ。 四万十川友美。26歳。生まれは、堺市。ガラの悪さじゃ関西でも有数の街。そのなかでも圧倒的に荒っぽい一角、堺東商店街が子どもの頃の遊び場だった。 「いっつも、いじめられてましたわ。ぼっこぼこですわ、毎日」 バリバリの河内弁で四万十川は語る。けっこうな“語り屋”だ。 「だって、わかってほしいんですもん。ぼくのことを。音楽やってるのも、ぼくのこと、知ってほしいから。わかってほしいから。みんなと仲良くなりたいから」 なかなかな“ウザさ”だ。 「ぼく、どこ行っても、嫌われるんですわ」 変な野郎だ。でも、その鋭くも澄んだ眼は、不思議なほど強い吸引力がある。このチンピラが生み出
Redesigning Common Lisp
Eitaro Fukamachi presents CL21, a redesign of Common Lisp for the 21st century. CL21 aims to improve Common Lisp's consistency, expressiveness, compatibility, and efficiency. It focuses on simplifying naming conventions, removing unnecessary symbols, and making the language more suitable for modern use while maintaining 100% compatibility with Common Lisp code and libraries. The project is still i
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
小室哲哉シンセサイザー図鑑
Small Business Customer Service Software
茂木健一郎先生と小保方問題その他で対談したんですが、話が噛み合いませんでした(山本一郎) - 個人 - Yahoo!ニュース