1. はじめに 本ページでは、精度保証付き数値計算を行うためにC++で作成した ライブラリ群を公開している。 特に非線形計算の精度保証を行うとき、template機能によって 複雑な数値型をすっきり記述でき、なおかつ "zero-overhead principle" で 計算速度が遅くならないC++は、非常に適していると言える (ほぼ唯一無二であると作者は考えている。)。 精度保証付き数値計算とkvライブラリの概要については、 このスライドを見て欲しい。 kv-intro.pdf (全84ページ) 2007年秋頃～2013年春頃の間は、区間演算を行うのにboostに含まれている intervalライブラリを用いて開発していたが、 boost.intervalは残念ながら不完全な部分が多く ライブラリ本体に手を入れざるを得なかった。 boost全体がアップデートする度にinterval部分

PythonにはPIL、Pillow、OpenCV、scikit-imageといった画像処理ライブラリが豊富にあるため、簡単に画像加工を行うことが可能です。ここではそのうちの１つ、Pillowについて学習しましょう。 Pillowとは？ Python2時代、PythonにはPython Imaging Library（PIL）という非常に強力な画像処理ライブラリがありました。ですが、残念ながら2011以降更新が停止され、Python3はサポートされていない状況です。そんな中、Python3に対応したPILからフォークされたライブラリが誕生しました。それがPillowです。 Pillowを使用すると、BMP、JPEG、PNG、PPM 、GIF、TIFFといった代表的な画像形式に対し、サイズ変換、回転、クロッピング、合成等を簡単に行うことができるようになります。 Pilloのインストール いつ

Matplotlib: Visualization with Python Matplotlib is a comprehensive library for creating static, animated, and interactive visualizations in Python. Matplotlib makes easy things easy and hard things possible. Create publication quality plots. Make interactive figures that can zoom, pan, update. Customize visual style and layout. Export to many file formats. Embed in JupyterLab and Graphical User I

静岡理工科大学情報学部コンピュータシステム学科菅沼研究室のページです．主として，プログラミング言語（ HTML，C/C++, Java, JavaScript, PHP, HTML，VB，C# ），及び，システムエンジニアとしての基礎知識（数学，オペレーションズ・リサーチやシステム工学関連の手法）を扱っています．

自動証明検証システム Mizar（ミザー、ミザール）は、まったく厳密に形式的な形で数学的な定義や証明を記述するためのデータ記述言語（Mizar-言語）、実際にその言語で記述された証明の内容を検証することができる計算機プログラム（証明検証プログラム）、プログラムから参照して新たな証明の際に利用可能な定義と証明済みの定理からなるライブラリ (MML) の三者から構成される。 Mizar と同様の目的を持つプロジェクトに、ロバート・ボイヤーのQEDプロジェクトがある。 概要[編集] システムの開発は1973年にアンジェイ・トリブレッツによって始められ、システムの保守をポーランドのビアリストーク大学（英語版）、カナダのアルバータ大学、日本の信州大学で行っている。 Mizar-言語で記された証明文（以下、Mizar-論文）は普通のASCIIコードで書かれている。Mizar-言語は、数学の通常の言葉遣

ネットワークの計測と解析 インターネットの使われ方やネットワークの挙動を把握する事は、ネットワークを運用し、その技術開発を行う ために欠かせません。しかし、観測で得られるデータ量は膨大ですがノイズが多く、また、観測できるのは極めて限られた部分でしかありません。そこで、膨大なデータから意味のある情報を抽出したり、部分的な観測からより一般的な傾向を推測する事が必要となります。... インターネット基盤技術 速くて、安全で、信頼性が高く、使いやすく、など、インターネットサービスへの要求はますます高まっています。これらの要求に応えるために、インターネットの 基盤技術も日々進歩しています。いまやインターネットはつながるだけのサービスではなく、高度で複雑な機能を備えた社会基盤となりました。IIJ技術研究所は、インターネットの基盤として実現が期待される機能を提供するために、さまざまな技術課題に取り組んで

Mark Newman Anatol Rapoport Distinguished University Professor of Physics Department of Physics and Center for the Study of Complex Systems University of Michigan External Faculty Santa Fe Institute Our group conducts research on the structure and function of networks, particularly social and information networks, which we study using a combination of empirical methods, analysis, and computer simu

On Lisp邦訳 草稿置き場 Japanese texts only! 代表的LispハッカーのPaul Graham氏がご自分のサイト www.paulgraham.com で公開なさっている著書 "On Lisp" の邦訳を，2007年3月にオーム社から出版しました． On Lisp | オーム社eStore(β) On Lisp サポートページ（practical-schemeに間借り） この"On Lisp"は草稿を公開しながら翻訳を進めてきましたが， 草稿は今後もLaTeXソースおよびPDFファイルとして公開を続けていきます． 書籍の出版に当たっては念入りのレビューにより数多くの誤り等が修正されましたが，この草稿は修正前のものです． とは言え大体は「読める」レベルです． 「いきなり買うのはためらわれるけど流し読みしたい」「内容の一部だけ参考にしたい」等の場合に役立つでしょう．

Hacker News new | past | comments | ask | show | jobs | submit login 1. F-35 Cleared for Full-Rate Production 17 Years After Its First Flight (twz.com) 47 points by jdmark 1 hour ago | hide | 6 comments 2. Nanofont3x4: Smallest readable 3x4 font with lowercase (github.com/michaelangel007) 26 points by lsferreira42 56 minutes ago | hide | 1 comment 3. Boinc lets you help cutting-edge science resear