AUCTeX の設定と便利な機能
AUCTeX の便利な機能をいくつかメモしておく。はじめに作業環境をあげておく。 Mac OS X: 10.6.8 TeXShop: 2.43 Skim: 1.3.17 (68) Preview: 5.0.3 (504.1) pTeX: 3.141592-p3.1.10 (utf8.euc) (Web2C 7.5.4), via Macports latexmk: 4.25 Mxdvi: 0.278 Emacs: Carbon Emacs パッケージ (22.3.1) AUCTeX: 11.86 Emacs + Org Export + TeXShop の記事では Emacs の Org-Mode からエクスポートされた LaTeX 文書を TeXShop に渡す、ということを試してみた。もちろん同様のことは AUCTeX でもできる。すなわち、AUCTeX で TeX 文書を編集して、T
イルミネーションの作成はデザインを好みの大きさに印刷して作業を行います。 作業前に５cmほどアクリル棒を余分に取っておきます。これは支柱部分になることから必ず取るようにしましょう。 支柱となる部分を内側に９０℃折り曲げます。 鳥の尾羽部分を曲げます。この部分は曲線ということから、熱する部分を幅広く取り全体的に曲げ曲線を作ります。途中で硬くなってしまった場合には、もう一度熱するのを忘れないようにしましょう。 尾羽はこれからの作業の基本となる場所という事から、きちんとサイズを決めるようにしましょう。尾羽の脇は作業中に折れ易い部分なのでムリをせず作業を行いましょう。 続いて羽の付け根部分です。この場所は「三列風切羽」という鳥の特長ということから直線ではなく少し出っ張った形にしましょう。 三列風切羽から次列風切羽を経て、「初列風切羽」の作成です。今回は３枚の羽で表現しています。※羽は鋭角に曲げる部
戦車長の皆さん！ World of Tanks Blitz にイギリス車両が追加されました。あなたはそれらの車両をアンロックするためにもう研究を始めましたか？ イギリス技術ツリーを現在進めている方に朗報です。このコンテストでは 2,000 の褒賞を勝ち取ることができるかもしれません。いち早く短期間で経験値を稼いで、最も多くの車両を研究できれば・・・。 このコンテストで一番になれなかった方にも 500 の褒賞を得るチャンスがあるので、新車両を使って戦闘を行い、ベストを尽くしましょう！ Mobilize! イベント開始: 日本時間 2014年12月08日(月) 17:00 イベント終了: 日本時間 2014年12月29日(月) 17:00 コンテストの仕組み: イギリス車両を使って戦闘に勝利してください。 戦闘結果の個別タブのスクリーンショットを撮影してください。 コンテストスレッドにコメン
華やかなところはまあググれば出てくるんで、地味なところに触れる。 日報にまとめておく リモートワーク中は、毎朝10:10 - 10:20の間、Google+ ハングアウトのビデオ通話を利用して進捗・問題共有しているんだけど、慣れてないと共有過多で時間が長くなりがち。8人居て、1人5分とかになると重い。いま取り組んでいる実装の話とかを始めてしまったり、あと会議参加者に対して「これどうですかね？」と質問する内容が含まれていたりすると、特に時間が長くなりがち。この辺は、事前にQiita:Teamの日報に前日やったことや翌日やることをまとめておいて、詳しくは日報に書いたんで見てくれという風に改善されたりした。日報、リモートワークで特に役に立つ。では日報を書いておけばミーティングは不要になるのではないかという話になるかもしれないが、この先は君の目で確かめてくれ。 情報の倍率を変えられるようにしておく
先週、httpvshttps.com というウェブサイトが公開されました。このウェブサイトでは、HTTP と HTTPS を用いてアクセスした場合のウェブページのダウンロード完了までにかかる時間の比較ができるのですが、多くの環境で HTTPS の方が HTTP よりも高速なことに驚きの声が上がっていました。 HTTP が TCP 上で平文を送受信するのに対し、HTTPS は TCP 上で TLS (SSL) という暗号化技術を用いて通信を行います。ならば、TLS のオーバーヘッドのぶん HTTPS のほうが遅いはずだ、という予測に反する結果になったのですから、驚くのも無理はありません。 実は、この結果にはからくりがありました。 Google Chrome、Mozilla Firefox、最近のSafari注1は、Google が開発した通信プロトコル「SPDY」に対応しており、HTTPS
もう二十代も半ばになってようやく自分の人生に意味や理由が存在しないことを心で理解した。 物心がついてから二十年、どこかで自分の人生には特別な意味があるんじゃないかと思っていた。 そんなものは全能感だか親の願望だか、はたまた本能だかが見せる幻だった。 俺の人生には意味なんてない。 そして人生に意味がないという事は死ななきゃいけないとか、意味を探しに行かなきゃいけないなんて事じゃない。 むしろ生きていいということだ、どこまでも自由に。 もしも子供の頃の自分にそう伝えたら「おっさん何当たり前の事言ってんの？」と言ってくるだろう。 それに対して理屈の上で理解するのと実際に心のなかではっきり納得するのは違うと語ってもきっと何の意味もない。 こればっかりは自分で納得するまで人生を積み重ねることだけでしかしっくりこないだろう。 世の中には俺なんかよりもずっと勘のいい人間がわんさかいて、きっと幼い頃からこ
これは Ruby Advent Calendar 2014 の6日目の記事です。 昨日は igrep さんの より「普通に」書くためのTest Doubleライブラリ「crispy」 でした。 Ruby Advent Calendar に参加するということで、 何かネタを考えなければなぁと思いつつ、なんとなく Rebuild Podcast の Ruby とそのコミュニティ界隈の話を聞いていた。 そういえば、私は数あるプログラミング言語のから、 なぜ Ruby を選んで使うようになったんだろう？ 私は普段、業務システムの開発を請け負う仕事を（SI）をしていて、 プログラミング言語は何を使うのかを自分で選べないことも多く、 雑多に言語を触ってきた。 C/C++, C#, Java, JavaScript, Ruby, PHP, Objective-C などなど。 一番好きな言語をあげるとする
まとめ 海外文学が消滅する！？ 海外文学の翻訳について、厳しい現状を語る頭木弘樹さん（@kafka_kashiragi）のTweetと海外文学を愛する人たちの嘆きです。 ※その後のやりとりも追加でまとめました。 66406 pv 925 116 users 1167 リンク http://owlman.hateblo.jp/ なぜ海外文学は売れないのか？ もうすぐ絶滅するという海外文学について - キリキリソテーにうってつけの日 海外文学が読まれない、売れない、翻訳できない 『絶望名人カフカの人生論』の著者、頭木弘樹さん（@kafka_kashiragi）が「海外文学の翻訳が売れないから、翻訳できなくなってきている」というつぶやきが3000RTを超えた。怖ろしい話を聞いた…。海外文学の翻訳は、初版1500部とか、初版印税ナシが普通になってきているという。増刷はなかなかされないだろうから、初
衝撃の7大タイトル全制覇からすでに18年、変わらぬ強さで、棋界の「顔」であり続ける43歳。その天才が「この先、重要視される能力」を磨くべく心がける、一見ありふれた習慣とは──？ 「こうすればうまくいかない」と知っている 勉強といっても、私たち棋士にとっては、実戦の中から得るものがやはり大きいですね。新しいアイデアや発想のヒントを実戦から得て、それを日常の練習の中で掘り下げ、全体的な理解を深めていきます。 着手を考える際も、40代半ばの今は、20代、30代の頃とは変わってきました。最初に局面全体の方向性を大ざっぱに、感覚的にとらえて、そこから細かいところをロジックで詰めていくというプロセスじたいは以前とあまり変わりませんが、局面全体をとらえるところに力を傾ける比率が、以前に比べて上がっています。 最初から細かいところにこだわって理詰めで追っていくと、効率が悪い。指し手を読んでいって、この筋は
2014-12-07 運用資産15兆円のカリスマ投資家レイ・ダリオ氏が語る「30分でわかる経済の仕組み」全文文字起こし 動画 本 【Sponsored Link】【 "Share" or "Pocket" 】 Tweet 半年ほど前の話題になるが、日経新聞ウェブ版より。 リンク 世界最大級のヘッジファンド創業者 日本語で経済入門動画 ：日本経済新聞 世界最大級のヘッジファンド運用会社ブリッジウォーター・アソシエーツ（運用資産約1500億ドル）創業者のレイ・ダリオ氏はこのほど、経済のしくみを易しく説いた動画を日本語で制作し、ネットで公開を始めた。「30分でわかる経済のしくみ」と題したこの動画は、ユーチューブで見ることができる。昨秋公開した英語版は、すでにアクセス件数が百万件を超えた。 公開当時、俺も一度流して見て「えらくわかりやすい動画だな、これは勉強になるから、近いうちに腰を据えてしっかり
この記事はゆるい広島 Advent Calendar 2014の8日目の記事です。 昨日（2014/12/07）のことですが、LT駆動開発というゆるい勉強会に参加して、ゆるくLTしてきましたのでその内容を書いてみようと思います。 今回のLT駆動のスライドやtwitterのまとめ(Togetter)や写真はLT駆動開発09のWikiページにまとめられいますので、どんなことしているのかなと思われた方は覗いてみるとよいと思います。 本題 今回はカメラを趣味にしてから、写真の保管先として、Flickrという写真共有サービスを利用するようになったのですが、写真を公開するにあたってライセンスを付ける必要があり、毎回悩んでいたので一回まとめておこうと思ってゆるくまとめました。 11枚目のスライドと17つめスライドの部分をまとめておきたかったのでその部分をチートシート的に抜き出しておきます。（自分のためで
ドワンゴがニコ動の画像配信向けにFPGAエンジニアを募集したり、マイクロソフトはBingをFPGA実装したり、Baiduもディープラーニングの高速化にFPGAを導入したりと、なんだか世の中急にハードウェアくさくなってきた。IoTとは違う意味で。 金融分野ではすでにCPUでは遅すぎてFPGAによるナノ秒単位の株取引が行われているって記事を書いたのは2年前だけど、ここ数年はIntelのCPUのクロックもあまり上がらなくなってきたし、Fusion-ioやNetezzaといった大手御用達のハイエンド鬼速ストレージも、フタを開ければ中身はすでにFPGAに移行済み。IBMが最近出したData Engine for NoSQLという製品ではPOWER8プロセッサにFPGAを直付けしてRedisを高速化したり。いよいよデータセンターにも、先の見えないCPUに代わってFPGAやGPUを導入する波が押し寄せつ
お探しのページは見つかりません。 一時的にアクセスできない状態か、移動もしくは削除されてしまった可能性があります。 Topページへもどる 日本通信株式会社 日本通信は 1996年5月24日、モバイルが実現する次世代インターネットを活用して日本の次世代経済の基盤を構築する総務省の方針を実現する会社として設立されました。当社ビジネスモデルはのちにMVNOと命名され、2009年3月、総務省の携帯市場のオープン政策のもとNTTドコモとの相互接続を実現しました。これにより「格安SIM」が生まれ、携帯事業者以外から携帯通信（SIM）が買える市場が誕生しました。次は、携帯電話以外の産業が、自社サービスにモバイルを組み込み、産業全体がモバイルを活用し成長する番です。MVNO ルールメーカ、世界初のMSEnabler としての強い技術ビジョンと高い遂行力によって、日本発の経済創出の一翼を担うべく次世代プラッ
今回はbundle gem test_gemの方を説明していきます。Rails Pluginの詳細は次のサイトに解説があります！ rails pluginコマンドで簡単に出来るgemの作成方法 🚜 作成されたファイルの概要今回作成されたファイルの簡単な説明。 bundle gem test_gem -t create test_gem/Gemfile create test_gem/Rakefile create test_gem/LICENSE.txt create test_gem/README.md => このgemの説明や使い方を記述 create test_gem/.gitignore create test_gem/test_gem.gemspec => このgemの説明や依存関係などを記述 create test_gem/lib/test_gem.rb => プログラムを記
Infrastracture as code流行の副産物として、もうOpsはある程度Rubyでライブラリを書けるようになりました。 折角Rubyでライブラリを書いたなら、安全＆ラクに配布するためGemパッケージにしましょう、出来る人には今更でしょうが知らない人は真似してみてね。 ちなみに意外と誤解されてる点、gemにする＝Rubygems.orgで公開する、ではありません、してもOKというだけで。 目標 gemファイルを置いて、gemコマンドで自分のライブラリをサーバに導入する。 こんなかんじで。 gem install -l my_libs-0.0.1.gem じゃあやってみましょう。 Gemの雛形をつくろう Gemの作り方は色々あるようですが、私はもっぱらbundlerです。 bundle gemで必要なファイル群を作成します、便利ですね。 $ bundle gem my_libs c
A quick and easy pre-configured Emacs for developing with Haskell. You can use this to try out the Emacs support for Haskell, or use it as a base or to crib Elisp from, or whatever. The motivating use-case is that newbies tend to want something that just works that they can customize later. This aims to be that repo. At least, an opinionated version of it. Most of it is using my tooling, so it's v
「WindowsへのCoqのインストール」： 事情があって、AgdaかCoqを触ってみようか、と。 事情というのは、個々の命題の証明（確認）は割と簡単そうだが、命題がイッパイあるのでウンザリな状況のことです。家計簿の計算が筆算だと面倒だから電卓を使いたい、という状況と同様です。 それでCoqのインストールは済んだのですが、処理系の使い方が分からない。個々の操作は覚えていけばいいのでしょうが、そもそもCoq処理系が何をするものなのか？ が理解できないのです。Web上にCoqの解説は幾つもあるのですが、「いやいや、そうじゃなくて、それ以前のことがサッパリわからんのですけど」という感じ。スタートラインに立てない。 それで、「Coqの解説」じゃなくて「Coqの仕様」を読んだほうがいいのかも、と https://coq.inria.fr/distrib/current/refman/ （リファレンス
Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? そうだ、Deep learningをやろう。そんなあなたへ送る解説記事です。 そう言いながらも私自身勉強しながら書いているので誤記や勘違いなどがあるかもしれません。もし見つけたらご連絡ください。 Deep learningとは こちらのスライドがとてもよくまとまっています。 Deep learning つまるところ、Deep learningの特徴は「特徴の抽出までやってくれる」という点に尽きると思います。 例えば相撲取りを判定するモデルを構築するとしたら、普通は「腰回りサイズ」「マゲの有無」「和装か否か」といった特徴を定義して、それを
はじめに 本エントリは Unity Advent Calendar 2014 8日目の記事になります。 Unity 5 からは Build ターゲットに WebGL が追加されます。Unity 5 プリオーダ向けベータ版で現在試すことが出来ます。 Unity 2020.2b - Unity 今年の 3/18 に行われた GDC2014 で Unity 5 が発表されたタイミングで WebGL 対応が発表されました。日本でも 4/7、8 で行われた Unite 2014 においても WebGL についての講演があり、その動画や講演資料を公式サイトから閲覧することが出来ます。 http://japan.unity3d.com/blog/press/unity5 http://japan.unity3d.com/unite/unite2014/schedule Unity と Web デプロイメ
AngularJS is a JavaScript framework that allows developers to create dynamic web applications. It uses HTML as the template language and extends HTML attributes with directives. AngularJS applications are composed of modules, controllers, services and filters that allow creating single page applications with two-way data binding between models and views.Read less
「iPadって楽器だな！」と改めてつくづく感じました。そう、先日KORGから発売されたKORG Module(以下Module)を使ってみて思ったことです。楽器フェアで展示されていた、この新アプリModuleを見て面白そうだったので、その後発売されて即購入したのですが、鍵盤がちゃんと弾けない私にとっても、これは楽しいですね！ Moduleを一言で説明すれば、iPadをピアノやエレピ、オルガン、クラビなどに変身させることができるアプリ。いわゆるDAW的な複雑なものではなく、iPadを楽器として使うためのシンプルなものなんですが、シンプルなだけに楽器としての完成度が高く、音がいいんですよね！どんなアプリなのか紹介してみましょう。 鍵盤楽器として最高に楽しい、iPadで動かすKORG Module Moduleを起動すると、まずはピアノの画面が登場します。画面上の鍵盤を弾いてみると、ちょっと驚く
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
