Sageチュートリアルへようこそ# Sageは,代数学,幾何学,数論,暗号理論,数値解析,および関連諸分野の研究と教育を支援する,フリーなオープンソース数学ソフトウェアである. Sageの開発モデルとテクノロジーに共通する著しい特徴は,公開,共有,協調と協働の原則の徹底的な遵守である. 我々の目的は言わば実用車の制作であって,車輪を再発明することではない. 総合目標としているのは,Maple,Mathematica,Magma,MATLABに代りうるフリーかつオープンソース化された実用システムの開発である. Sageがどんなものか,短時間で知りたければ,まずこのチュートリアルを読んでみていただきたい. HTML版とPDF版のどちらを読んでもいいし,Sageノートブックを経由することもできる(チュートリアル内容を対話的に実行するには,ノートブックで Help , 続けて Tutorial を
high performance open source ZFS backup with mbuffer and ssh support Consistent Snapshots ZnapZend uses the built-in snapshot functionality of ZFS for fully consistent backups. For each fileset, a pre- and post-snapshot command can be configured to quiet down any software writing to the fileset prior to snapshotting. Fileset-Based Configuration ZnapZend stores all its configuration in custom ZFS p
こんにちは、イギリス生まれ・東京在住、英語教師で作家のLukeです。今週、僕が書いたオノマトペ(擬態語・語音後)についての本 が出版されました。是非チェックしてみて下さい! キャベツやレタスは美味しい野菜ですが、実はこれらの野菜を英語で数える時には注意が必要です。 まず、イギリス人は lettuce や cabbage をよく複数形で使います。 I am growing lettuces in the garden now. 今僕は庭でレタスを育ててるんだ。 しかし、アメリカ人はこの使い方に対して違和感を感じるでしょう。なぜなら通常 cabbage と lettuce を不可算名詞として使うからです。 I am growing lettuce in the garden now. 今僕は庭でレタスを育ててるんだ。 それでは、キャベツやレタスの数を表す場合、アメリカ人とイギリス人はどのように
Chrome Developer Toolsを使ったWebページのパフォーマンス計測・改善についての説明です Networkパネル、Timelineパネル、Profilesパネルの使い方を説明してから パフォーマンスの計測・改善について説明していきます Networkパネル Networkパネルはページのリクエストをしてからの通信内容の一覧を表示します 記録方法 左上のRecordボタンを押すと記録が始まる もう一度押すと記録が停止する 必要に応じて、Disable cacheやCapture screenshotsを設定する 表示項目の変更 赤枠で囲んだ部分を右クリックすると こんな感じでメニューが出てくるので表示したい項目をクリックする 項目の一例 Name:リソースの名前 Method:HTTPメソッドの種類 Status:レスポンスのステータスコードとテキスト Type:リソースの
Vis aims to be a modern, legacy-free, simple yet efficient editor, combining the strengths of both vi(m) and sam. It extends vi's modal editing with built-in support for multiple cursors/selections and combines it with sam's structural regular expression based command language. A universal editor, it has decent Unicode support and should cope with arbitrary files, including large, binary or single
はじめに この記事では、Docker環境でしかおこらない厄介な問題の原因を突き止めるためにGDBを利用する際のヒントを解説します。これにより、怪しい部分を絞り込んでいくための取っ掛かりを作ることができます。 前提となる知識・スキル 知識・スキルとして以下をおおよその前提としています。 C言語およびGo言語によるプログラミングができる。 Dockerの基本操作ができる。 Linux(UNIX)上でのGDBによる実行の追跡ができる。 なぜDockerでGDBか Docker環境であるプログラム(Aとする)を実行してトラブルが起こった場合、 Aにもともと問題があった Dockerに問題がある DockerとAの組み合わせに問題がある のどれなのかを見極めて解決する必要がありますが、この切り分けはかならずしも簡単ではありません。そこできわめて強力な道具として登場するのがGDB(The GNU Pr
理解は記憶の最大の援軍であるが、記憶もまた、ある水準を越えると、理解を助けることができる。 このことは、とりわけ独学者にとって朗報だ。 理解を助ける直接的な支援=誰かに教えてもらうことが難しい独学者にとって、他に打つ手があるということだから。 しかし理解を助ける域にまで記憶が達するには、正確かつ高速に想起することができる必要がある。 流暢に引き出せる知識は、忘れにくく、妨害されにくいだけでなく、応用されやすい。 思い出すことを要しないほど定着した記憶は、認知リソースをほとんど消費しない。 したがって、そこで浮いた分を複雑な処理に回すことができる。 例えば、掛け算の九九をマスターした人と、7×6を7を6回足して計算する人が、同じ方程式を解くことを想像しよう。 九九をマスターした人は、ただ解くのが速いだけでなく、正確であり、より楽により複雑なものを処理できる。 7を6回足すのに費やされるワーキ
はじめに (Introduction) Anki は 物事を憶えるのを楽にするプログラムです。伝統的な学習法と比べて Anki は ずっと効率的なので、あなたは 学習時間を大幅に節約したり 身につける知識量を大幅に増やしたりできます。 毎日の生活のなかで 物事を憶えなければならない人すべてに Anki が役立ちます。Anki は コンテンツから独立しており、画像・音声・動画・科学マークアップ (LaTeXを使う) をサポートするので、可能性は無限です。例えば: 外国語を学ぶ 医学や法律の試験に向けて勉強する 人の名前と顔を記憶する 地理に詳しくなる 長い詩を暗唱する ギターコードを練習するのにも! Anki の背景には 2つのシンプルなコンセプトがあります: 能動的に思い出すテスト (active recall testing) と 間隔をあけた復習 (spaced repetition)
この情報は、デスクトップ PC 版 Anki 2.0.35 (Mac OS X) に基づいて作成しています。 他のプラットフォーム版をお使いの方は、適宜読み替えてください。 特に PC 版と、iOS アプリ AnkiMobile や Android(アンドロイド)アプリ AnkiDroid の間では、データの互換性はありますが、ユーザーインターフェイスや機能に違いがあります。 iOS アプリ向け情報 iPhone や iPad などで AnkiMobile をお使いの方は、iPhone ユーザーのためのはじめての Ankiをご覧下さい。はじめて使うときに必要な、毎日の学習が続けられる最低限の使い方をまとめました。AnkiMobile だけではできない機能を PC 版 Anki と連携して実現する方法も取り上げています。 Android アプリ向け情報 AnkiDroid の使い方については
(この記事はDvorak Advent Calendarの一環として書かれました) いきなりですが、僕はキーボードをこんな配列で使っています。 そう、kinesisです。101キーボードに焼き直すとこんな感じだと思います。 RAKDAO配列 という名前をつけています。まあ自分専用配列なのですが、日本語も英語もプログラムも打つ人向けなどに役に立てばと、このたび公開することにしました。RAKDAOは、Dvorak配列をベースに、以下の点で改良を加えたものです。 Dvorakを左右反転させることで、日本語の左右感覚に近づける さらに右面を上下反転させ、記号をほぼQWERTY位置に DvorakJPに基づく、「か」行、拗音、撥音、二重母音の入力効率化 (Kinesis Contoured Keyboardの採用) 命名の由来は Dvorakを | 左右反転 | 右面を上下反転 | 日本語入力が D
Emacsの find-grep で出てくるコマンド find . -type f -exec grep -nH -e {} + の最後の + を見たことなかったのでStack Overflowで質問してみました。 まず「お前はちゃんと man を読め。」と怒られましたが、わかりやすいサンプル付きで説明がもらえたので良しとします。いつもありがとうございます。 -exec {} \; と -exec {} + の違い まず \; の 頭についてるバックスラッシュはこれがないとセミコロンがシェルのコントロール文字列だと判別されるためについてるだけです。 そして肝心の違いですが -exec {} \; は find で見つかったそれぞれのファイルを別々にコマンドに渡して、 -exec {} + は可能な限りまとめて渡します。 言葉の説明だけだとよくわからないでしょうから実際の例を見てみましょう。
I’ve just released a new version of Spock: 0.9.0.0. Along with some small improvements a big feature has dropped: Contexts. Let’s take a look at them and how they can help out in an authentication scenario. What are ‘Contexts’? A context is a value that lives during a request. When a request arrives at your application, the context will be initialized with (). Hence the type of the basic route wir
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く