Cygwin で 日本語 TeX --- ptetex を簡単インストール
サイト移転のお知らせ 最新の情報を取得するには http://ptetexwin.sourceforge.jp/ へどうぞ．このページは今後メンテナンスされなくなります． Cygwin インストーラを使って手軽に日本語 TeX 環境をインストールできるように，コンパイル済のバイナリ一式を提供します． 特徴を列挙すると以下の通りです: 一括インストール: Ghostscript の日中韓対応バイナリの導入・Cygwin 環境変数 (PATH など) の設定を自動で行うため，インストール直後から雑多な作業なしに利用できます． オープンソース: 日本語 TeX ソースディストリビューションの ptetex からバイナリを作成し，作業スクリプトも公開しています． 新世代パッケージを装備: 新ドキュメントクラス や UTF/OTF パッケージが最初から含まれています． Cygwin インストーラで導
pLaTeX2e jsclass
Last modified: 2016-07-07 13:14:29 新しいイントロ 新ドキュメントクラスはTeX Liveに取り込まれましたので，今は何も考える必要はありません。以下は歴史的な文書として残しておきます。改良されるには GitHubのtexjporg/jsclasses をフォークするのが便利です。 これは何？ 美文書シリーズなどで使用したドキュメントクラスです。jarticle に相当する jsarticle と，jbook に相当する jsbook からなります。オマケとして okumacro.sty，okuverb.sty，morisawa.sty などが付いています。 東京書籍印刷（現：リーブルテック）の小林 肇 様の開発されたJISフォントメトリック（JIS X 4051-1995「日本語文書の行組版方法」になるべく即したフォントメトリック）を標準で使用します。た
W32TeX
東京大学大学院数理科学研究科大島研究室、会津大学 のご厚意で当サイトのミラーを置いて戴いています。 通常一日後には更新されています。当サイトは回線が細いので、 ミラーサイトのご利用をお願い致します。 (下記のリンクは大部分、東京大学にさせてもらっています。 当 web ページで更新をお知らせしてから、 即座にリンクを参照しても更新したものにはなっていませんから、 ご注意ください。一日ほど後で get して下さい。) 東京大学のミラーを訪れる。 会津大学のミラーを訪れる。 奥村さんのお骨折りにより、 Ring Server の /pub/text/TeX/ptex-win32/current/ にもミラーされるようになりました。 説明ファイルのダウンロード(これはブラウザ上で読めます。) 変更履歴(ブラウザで読めます。最新の情報がわかります。) 簡易 installer のダウンロード
the Comprehensive TeX Archive Network (CTAN)
The Comprehensive TeX Archive Network The Comprehensive TeX Archive Network (CTAN) is the central place for all kinds of material around TeX. CTAN has currently 6574 packages. 2976 contributors have contributed to it. Most of the packages are free and can be downloaded and used immediately. Announcements on CTAN-announce You can see what's new and even get informed about new or updated packages on
メッセンジャーを『アイマス』色に！ 限定絵文字セットが追加
マイクロソフトは、Windows Live メッセンジャーの『アイドルマスター』限定絵文字セット第3弾を無料配信している。 配信内容は、Windows Live メッセンジャーの絵文字10点、表示アイコン5点、背景1点、ウィンク5点。ウィンク以外は特設ページから一括ダウンロードでき、Windows Live メッセンジャーに自動でインストールされる。ウィンクは、Windows Live メッセンジャーから直接一覧を参照することで利用できる。『アイドルマスター』シリーズ作品のファンは、ぜひ利用してみよう。 (C)窪岡俊之 (C)NBGI ▼『アイドルマスター ライブフォーユー！（Xbox 360 プラチナコレクション）』 ■メーカー：バンダイナムコゲームス ■対応機種：Xbox 360 ■ジャンル：ETC ■発売日：2009年3月12日 ■価格：2,940円（税込） ■『アイドルマスター ラ
MathML | MDN
Mathematical Markup Language (MathML) は、数学的表記を記述し、その構造と内容を表現するための XML マークアップ言語です。 このページには、MathML のパワフルな技術を用いた仕事を助けるための文書、サンプル、ツールへのリンクがあります。簡単な概要は、Mozilla Summit 2013 で行われた innovation fair 向けのスライド をご覧ください。 MathML 要素リファレンス 各 MathML 要素の詳細とデスクトップおよびモバイルのブラウザの互換性情報。 MathML 属性リファレンス MathML 要素の見た目や振る舞いを変更する MathML 属性についての情報。 MathML の例 MathML の動作についての理解を深めるためのサンプルと例。 MathML の書き方 MathML を書くための提案とヒント、おすすめの
MathML and SVG in Mozilla
1.0 でもデフォルト DOCTYPE宣言 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0//EN" "http://www.w3.org/TR/MathML2/dtd/xhtml-math11-f.dtd" [ <!ENTITY mathml "http://www.w3.org/1998/Math/MathML"> ]> とします。詳しくは作業記録参照。 作業記録 長くなったので移しました。Mozillaとの格闘の日々。 TeXからの変換例 -- tex4ht を使う。 本人から了解を取って昨年度の修士論文を変換しました。 Mozilla-MathML と LaTeX2HTML ですが、意識してTeXのコードを書かないとあまり綺麗にいきません。 準備 Mozilla-MathMLを使うにはちょっと準備が必要です。
TeX2MathML test applet
(more than JDK1.1.8 JVM) : ver 0.43 (2001/Mar/6) This applet is a translater that make the MathML expression from LaTeX mathematical expression. This project is now under way. Please test it. TeX数式からMathMLを生成するアプレットです。まだ作り途中なのでテストしてみたり、余裕のある方はソースの改良などお願いします。(readme.txt copying.txt) Download : jar package (jar.gz) src package (tar.gz)
MathML memo
MathMLに関する 忘備録的なメモ。 MathML 紹介 何か？ 数式をXMLで書くための文法。これにより、ブラウザでまともに数式を表示 したり、検索できるようになる。特に検索は非常に期待していて、 単なる単語の一致だけにとどまらず、「～を積分している式」「～が積の形で 含まれている式」などのように検索することが可能になる。 実際の例 例えば、TeXによる式を以下のように書く。 \begin{equation} x = \cfrac{-b \pm \sqrt{b^2-4ac}}{2a} \end{equation} \begin{equation} a = \left( \begin{array}{cc} 1 & 2\\ 3 & 4 \end{array} \right) \end{equation} この結果は以下のよう。 これをMathMLで書くと、 <math xmlns="htt
MathMLでウェブに数学を (和訳)
この文書は、http://www.w3.org/Math/XSL/で公開されている "Putting mathematics on the Web with MathML" を、和志武 功久が個人的に和訳したものです。原著作者は W3C であり、知的財産権を初めとする各権利は W3C が保有します。 この文書は参考試訳であり、標準的な位置づけにはありません。正確な情報については W3C のサイト中にある原文を参照してください。 翻訳作業に伴う誤植がある可能性がありますので注意してください。また、発見した場合はぜひご連絡ください。 This document is a Japanese translation of "Putting mathematics on the Web with MathML" found at http://www.w3.org/Math/XSL/, by Nor
MathML 日本語情報
MathML 日本語情報 ここでは、数学マークアップ言語「MathML」に関する日本語の情報を掲載しています。 このページの目指すもの MathML (和訳) は、HTML のようなマークアップを利用して、ウェブで数学を表現するための言語です。 インターネットはもともと理系の人々がコンピュータ上で情報をやりとりするために使われ始めました。このため、その黎明期から、数学をはじめとする科学の諸分野の情報のやりとりをHTMLと同じように実現できないかと、さまざまな試みが行われてきました。MathMLは、その一つで、ウェブで用いられるHTMLに数式の見た目だけでなくその意味も埋め込むためのマークアップ言語です。 MathML は、仕様書でも触れられているように、(HTML 以上に) 人間が読み書きするための言語ではありません。あくまで、コンピュータのプログラムが、数式情報を読み書きするための言語で
開平法 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "開平法" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2016年7月） 開平法（かいへいほう、英: extraction of square root）とは、正の数の平方根の小数表示を求めていくアルゴリズムである。開平や開平算、開平計算とも。平方根を求めることを開平するという。開法の一種。 開平法の原理[編集] 与えられた正の数の正の平方根の小数表示を求めるために、ここではまず漸化式を立てて、一般的な求値法を求める。そして、求値の明確化のために、開平法と呼ばれる筆算の原理を導出する。以下は十進法表示の場合だが、他の位取り記数法でも同様な
ニュートン法 - Wikipedia
数値解析の分野において、ニュートン法（ニュートンほう、英: Newton's method）またはニュートン・ラフソン法（英: Newton–Raphson method）は、方程式系を数値計算によって解くための反復法による求根アルゴリズムの1つである。対象とする方程式系に対する条件は、領域における微分可能性と2次微分に関する符号だけであり、線型性などは特に要求しない。収束の速さも2次収束なので古くから数値計算で使用されていた。名称はアイザック・ニュートンとジョゼフ・ラフソンに由来する。 導入[編集] ニュートン法の一手順の概念図 (青い線が関数 f のグラフで、その接線を赤で示した). xn よりも xn+1 のほうが、 f(x)=0 の解 x についてのよりよい近似を与えている. この方法の考え方は以下のようである：まず初めに、予想される真の解に近いと思われる値をひとつとる。次に、そこ
二分法 - Wikipedia
この項目では、数値解析における二分法について説明しています。ゼノンのパラドックスの二分法については「ゼノンのパラドックス」を、誤った二分法については「誤った二分法」を、論理学・哲学上の二分法（dichotomy）については「二項対立」を、数理的な二分法については「2値論理」をご覧ください。 数値解析における二分法（にぶんほう、英: bisection method）は、解を含む区間の中間点を求める操作を繰り返すことによって方程式を解く求根アルゴリズム。反復法の一種。 方法[編集] 2分法 赤線は解の存在する範囲。この範囲を繰り返し1/2に狭めていく。 ここでは、となるを求める方法について説明する。 ととで符号が異なるような区間下限と区間上限を定める。 との中間点を求める。 の符号がと同じであればをで置き換え、と同じであればをで置き換える。 2.に戻って操作を繰り返すことにより、となるに近づ
室内のワンセグ感度を上げる再出力アンテナが発売
室内のTVアンテナ端子を使って室内にワンセグ感度向上用アンテナを設置、付近の受信感度を向上させるというユニークなワンセグアンテナ「LDT-ANT1WH/BK」がロジテックから発売された。実売価格は1,380円（詳細は「今週見つけた新製品」参照のこと）。 この製品は、壁面のF型アンテナ端子に直結できる長さ15.7cmほどの小型アンテナ。最大の特徴は「設置場所から半径1.5m以内のワンセグ感度を向上させる」点で、これは携帯電話/PCなど、チューナーの種類を問わず利用できるという。なお、実際の効果はアンテナ端子から出力される電界強度やワンセグ機器の受信感度に左右されるとのこと。 機能から考えて、アンテナ端子から得た電波を再出力する構造とみられるが、電源入力などは用意されておらず、特に増幅などは行っていないものと思われる。 なお、他の「ワンセグ用追加アンテナ」と同様、ワンセグチューナー側に接
いまさらだけどGM_logの使い方。console.logも使えるようになった！ - Cherenkovの暗中模索にっき
firefox3.0.4 + greasemonkey0.8.20080609.0 + firebug1.2.1 の組み合わせで、GM_log('aaaaaaaaa');を表示する方法をメモ。 アドレスバーにabout:configで extensions.firebug.showChromeErrors extensions.firebug.showChromeMessages この二つをtrueにすると表示される。 てかこれやったらconsole.log('aaaaaa')も表示できるようになった。。 上のabout:configの操作は、「クロームのエラーを表示」「Chromeのメッセージを表示」にチェックを入れることと同じ。（chromeのエラーを表示、chromeのメッセージを表示） 参考 GM log - GreaseSpot ここにも書いてある。
『モダンPerl入門』感想 - Kentaro Kuribayashi's blog
id:lestrratさん期待の新刊『モダンPerl入門』をさっそく読みました。結論からいうととてもいい本で、他の言語はよく知っててイケてるコード書きまくりだけどPerlはよくわからないというひと、もっとPerlのことを知りたいひと、昔やったけど最近の事情はどうも知らないというひと、様々な方にとってマストバイな一品に仕上がっていると思いました。もちろん、僕自身にとってもいろいろ知ることが多くて、とてもためになりました。 以下、自分が実践できてるかどうかをまったく度外視して、あれこれと書いてみました(たまには書評の真似事をしてみたいブーム)。 モダンPerl入門 (CodeZine BOOKS) 作者: 牧大輔出版社/メーカー: 翔泳社発売日: 2009/02/10メディア: 大型本購入: 25人 クリック: 506回この商品を含むブログ (113件) を見る よいコードとは よいコードとひ
どう書くXPath:ここからここまで - os0x.blog
XPathの不便なところ - ぶろぐ。@はてなより、http://labs.cybozu.co.jp/blog/akky/archives/2009/02/interviewd-by-junior-high.htmlの本文を取るXPathを考えてみた。 とりあえず、2パターン。*1 id("center")/div/*[preceding-sibling::*[following-sibling::h2] and self::*[not(preceding-sibling::p[@class="posted" and a])]]id("center")/div/*[self::h2[following-sibling::h3] or (preceding-sibling::h2 and following-sibling::p[@class="posted" and a]) or self
リンク集：くしゃみ、鼻水、目のかゆみ……しっかり対策！花粉症特集2009
春も近づく2月といえば、スギやヒノキを原因とした花粉症で悩まされる人が増えてくるシーズン。そこで今回は、行政機関などが伝える花粉症対策情報や民間企業による花粉の飛散量予報など、ツラい季節を乗り越えるのに便利なサイトのリンク集をお届けする。くしゃみや鼻水、鼻づまりで例年お困りの方、また、将来的にかかるのではないかと心配な方もぜひ参考にしてほしい。 ●ポータル・天気サイトで最新情報をチェック！ 大手ポータルおよび天気予報サイトでは、すでに花粉症対策特集が多数公開されている。いずれのサイトも、基礎的な知識を学んだり、最新概況を知るにはピッタリだ。 ■ goo ヘルスケア 花粉症対策特集2009 http://health.goo.ne.jp/kafun/ http://eco.goo.ne.jp/life/health/kafun/ 大手ポータルサイト「goo」の健康情報ページにて公開中の特集コ
過眠・眠気が取れない・目覚めが悪い [不眠・睡眠障害] All About
朝、なかなか布団から出られなかったり、日中の眠気が取れなかったりすることは、誰にでもあることです。 しかし、社会生活に支障が出るほどひどいときは、何かの病気が潜んでいる可能性があります。下の症状に当てはまって病気が疑わしいときには、早めに、睡眠障害の専門医療機関 を受診しましょう。 眠気の強さを測るために、「眠気を覚ます方法」 でご紹介した エップワース眠気尺度 もご利用ください。 ・ 睡眠薬や精神科の薬、風邪薬、アレルギーの薬などを飲んでいる → 薬剤性過眠 ・ 気分がすぐれない、もの悲しい ・ 不安が強い ・ やる気が出ない → うつ病、季節性うつ病 ・ 夜間の睡眠が不十分 ・ 十分な睡眠をとると日中の眠気がなくなる → 長時間睡眠者、睡眠不足症候群 ・ 日中の居眠りを我慢できない ・ 笑ったり驚いたり怒ったりすると、体の力が抜ける ・ 金縛りにあう ・ 寝入りばなに幻覚を見る → ナ
![過眠・眠気が取れない・目覚めが悪い [不眠・睡眠障害] All About](https://cdn-ak-scissors.b.st-hatena.com/image/square/8f530daf3cb408d6b6a0ba6f38ed7ccece36cffc/height=288;version=1;width=512/https%3A%2F%2Fimg.aacdn.jp%2Faa%2Fcommon%2Fogp300_300.png)
Amazonのアカウントの仕組みが微妙すぎる - F.Ko-Jiの「一秒後は未来」
Amazonのアカウントの仕組みが微妙なことに最近気づきました。 他人のメールアドレスでアカウント作成が可能 Amazon のアカウントを作成する際にメールアドレスを入力しますが、メールアドレスを入力した後に本人確認のメールなどは届きません。そのため、でたらめなメールアドレスでもアカウントを作成することができます。 ひとつのメールアドレスで複数のアカウントの作成が可能 すでに Amazon でアカウントを作成済みのメールアドレスを入力して「初めて利用します」のラジオボタンを選択してサインインすると、 ↑「「初めて利用します」が選択されましたが、xxx@xxx.xxxを使用するアカウントはすでに登録されています。」と表示され、 ↑「登録済みのアカウントにアクセス」と「または新しいアカウントを作成」のどちらかを選択できます。 ここで登録済みのパスワードで「登録済みのアカウントにアクセス」するこ
カードローンの限度額って変えられるの？ | 現金が必要な時に一番便利なネットキャッシングで即日借入【ネポ】
カードローンを利用するときには、この金額までなら何回でも利用するして良いですよ、という上限金額が決まっています。この上限金額のことを限度額と言いますが、、限度額は人によって10万だったり50万だったり100万だったりと差があるものです。今の限度額で十分だという人もいるでしょうし、今の限度額じゃ足りないという人もいるでしょう。そんなとき、限度額の金額を上げたり下げたりすることはできるのでしょうか。 まず限度額はどうやって決まるか、ということですが、限度額は申し込みのときの情報で決まります。勤務先や勤務年数、年収はもちろん、過去や現在の借り入れ状況を全部踏まえた上で限度額が設定されるのです。 そこで決まってしまった限度額ですが、これは必ず変更することができない、というわけではありません。限度額を上げることはもちろん、下げることだってできるんです。変更する方法は、基本的に電話で問い合わせをしてそ
人気シリーズの原点がPSPでやり込める！ 『ペルソナ』4.29発売
アトラスは、PSP用ソフト『ペルソナ』を4月29日に発売する。価格は5,229円（税込）。 本作は、1996年にPSで発売されヒットを飛ばしたRPG『女神異聞録ペルソナ』の完全リメイク作品。RPGとしてのおもしろはそのままに、サウンドなどさまざまな要素がブラッシュアップされ、遊びやすさに重点を置いてリメイクされているとのことだ。なお先着購入特典として、『ペルソナ』オリジナルサウンドトラックCDが付属する。 あわせて公式サイトもオープンしている。サイトでは、一新されたムービーやリアレンジされた音楽などが堪能できるPVが公開中だ。 『女神異聞録ペルソナ』を、かなりやり込んだという人も多いだろう。好きな時にプレイして、好きな時にやめられるPSPなので、時間がない人でもやり込めるのがうれしい。
NetKernelでJavaの並行性を越える
Javaはマルチスレッドと並行性の構造をサポートしていますが、最新のマルチCPUハードウェアに適合するアプリケーションの開発はそう簡単にはいきません。そのような場合、NetKernelなどの代替環境を用いると、ハードウェアの処理能力を余すことなく利用する道が開けます。 Javaでの並行性プログラミング マルチコアおよびマルチCPUのシステムが普通に使われるようになった現在では、複数のタスクを同時に実行することが現実的な課題となっています。しかし、大抵のシステムでは、別のスレッドにタスクを実行させるというような簡単なやり方でこれに対応することはできません。使用するプログラミング言語から実行環境に問い合わせて、システムリソースの使用スケジュールを決定する必要があります。ハイレベルの並行性にかかわる関数を簡単に活用できるかどうかは、言語の構造に左右されます。 従来は、「ヘルパー」を利用して複数の
perl - open my $fh, "comand |"; # はモダンじゃない : 404 Blog Not Found
2009年02月10日01:00 カテゴリLightweight Languages perl - open my $fh, "comand |"; # はモダンじゃない モダンPerl入門 牧大輔 「モダンPerl入門」発売記念ということで、同書を補足するentryを。 同書でちょっと残念だったのが、[5.2 外部コマンドの実行]。あまりモダンではないのだ。 P. 141 system("/sbin/wget", "http://example.com"); これはいいのだが、以下がちょっとまずい。 my $output = `/bin/ls tmp`; open(my $fh, '| cat -v'); これ、何がまずいか、というと、コマンド実行の際に/bin/shを使ってしまうのだ。そのおかげでcommand < from > to 2&>1のようなリダイレクトも使えるなどの利点もあ
『モダンPerl入門』本日発売！ Webで立ち読みできるサンプルPDFも提供中
翔泳社は2月9日、中級者向けのPerl技術書『モダンPerl入門』を刊行した。『楽々ERDレッスン』『達人に学ぶ SQL徹底指南書』に続くCodeZine BOOKSシリーズの第3弾として、今回は完全書き下ろしの内容となっている。 執筆者の牧大輔氏（lestrrat）は、Perl開発者を支援するための社団法人「Japan Perl Association」（JPA）を最近立ち上げた他、今週開催される「Deverlopers Summit 2009」では、Perlを使った実践的なテスト手法についてのセッションを講演する予定だ。本書は、Perlの初中級者やPerlをサブ言語として使いたい開発者を対象に、効率よく業務をこなすための実践的な内容が豊富に盛り込まれている。 仕様 書名： 『モダンPerl入門』 著者： 牧大輔著 頁数： 344ページ 定価： 2,800円（＋消費税） 判型： B5変型
HandBrake日本語版の使い方：DVD/動画ファイルを変換する | OSDN Magazine
YouYubeなどの動画サイトが広く受け入れられたこともあり、動画を編集してオリジナルの作品を作るユーザーが増えている。そしてそれ以上に増えているのが既存の動画のファイル形式や圧縮形式を変換するユーザーだ。そこで今回は、オープンソースの動画変換ツールHandBrakeの使い方を紹介したい。HandBrakeはDVD/動画ファイルからの変換に対応する使い勝手の良い変換ツールだ。 元々BeOS用に開発されたHandBrakeだが、まず初めにMac OS X版が登場し、現在ではWindowsやLinuxにも対応している。今回は、HandBrake日本語版サイトで配布されているWindows版バイナリを利用した。なお、HandBrake本家ではMac OS X版やLinux（Ubuntu）版のバイナリも配布されているが、現在のところ日本語版サイトにあるバイナリはWindows版のみである。 Han
XPathの不便なところ - ぶろぐ。@はてな
XPathの勉強。LDRFullFeedの仕様がXPathで本文を指定するというものだったので、HTML(XHTML)から必要な部分を抜き出すためにどのようなXPathが書けるかを考えてみる。 特に意味はないけどhttp://labs.cybozu.co.jp/blog/akky/archives/2009/02/interviewd-by-junior-high.htmlを例にしてみる。勝手に使ってすみません。 ... <div id="center"> <div class="content"> <p align="right"> <a href="http://labs.cybozu.co.jp/blog/akky/archives/2009/02/google-news-widget.html">« Googleニュースの新ブログパーツ(ウィジェット)</a> | <a
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
AutoPagerize pageElement ここよりもあとでここより前、みたいなのが書きたいとき - ロックスターになりたい
ここより後、はfollowing-sibling::node()ですぐ書ける。 ここより前まで、の"ここ"がはじまり部分のsiblingじゃなくてその子孫だったりすることがある。(祖先の兄弟だったりもすることもあるけど、それはかんがえてないけどできるんじゃないかなたぶん) パフォーマンスよくないけど、絶対的な値だとたいした時間じゃないと思う。 following-sibling::node()[ ./following-sibling::*/descendant-or-self::kokomade ]でいまのところよりもあとで、そいつよりも後に"ここまで"の部分が含まれてるノード、つまり"ここまで"のノードよりも前にあるノードだけとれる。 infogamiのwikiにSITEINFOのnextLinkケーススタディ - 0x集積蔵とか、書き方のこつみたいなのまとめといたらどうだろう。 ##
http://zblog.sakura.ne.jp/yql/
ここではYAHOO YQLを紹介しています。YQLとはSQLのような問い合わせ文で世界中のWEBからデータを取り出すことができる仕組みです。YAHOO YQL ●YQLとはSQLに似た言語で、データをいろいろなWebサービスから得ることができる。 データベースからSQLを利用して、データを取得するように、YQLを使えばいろいろなウェブサービスから データを取得できるようになる。 以下に説明がある。 (英文) http://developer.yahoo.com/yql/docs/yql_openhackday.pdf http://developer.yahoo.com/yql/docs/ 以下でYQLを実際に試せます。USA YAHOOのログインが必要です。 http://developer.yahoo.com/yql/console
Web・システム開発のバズー
お求めのシステム会社は見つかりましたか？ システム開発を成功に導くには信頼出来るベンダー選定が不可欠です。 「クラウドで個人に頼むのは不安だし、大手だと見積りがなかなか合わない。」 そんなご担当者様のお悩みを解決する為に弊社は日々開発に取り組んでいます。 正しい「設計」でサービスを成功に導きます。 自社企画の延長で考えてもなかなか良いシステムは出来上がりません。 お客様には「あるべき姿」を大いに語って頂き、 無駄のない道筋を立てることで、プロジェクトを成功に導きます。 経験豊富なプロのディレクターが ご専任の担当として親身なサポートを実現します。 バズーではお客様に必ず専任の担当をつけさせて頂いており、 個別の要件をあるべきシステムに落とし込んでいきます。 企画から開発・運用までを自社で一貫して行っていることも特徴です。
○×△の起源情報・とりあえずの結果発表
海外で通じない○×△という記号の起源を問うエントリーにはいろいろな御意見をいただきました。ありがとうございます。そして、コメント欄とはてなブックマークと合体させた結果、○×△の由来は： 明快にはわからない です。ははは。一応もしかしたら、、という意見としてはこちらのページに ＞昔あるテレビ番組で○×の使用は、福沢諭吉が慶応義塾で使い出したのが始まりであると言っていたように思います。 ありえる。でも、同じくらい「最初は栃木県のとある小学校の先生が使い始めた」っていうのもあり得る気がしますが。 ちなみに、日本以外で ○ × が通じるのは韓国だけの模様。以下＞はコメント等からの抜粋です。 ＞韓国人留学生と話をしていて、韓国でも良いを○、悪いを×で表現すると聞いて、韓国でも同じなんだ！とびっくりしました。 他の国は、コメントを総合して、ヨーロッパ、中国もダメ、と。 ×は「だめ」という意味で通じるの
『キラメキラリ』などの新曲も聴ける『アイマスSP パーフェクトサン』PVをお届け！
バンダイナムコゲームスが2月19日に3バージョン同時発売するPSP用ソフト『アイドルマスターSP（エスピー） パーフェクトサン／ワンダリングスター／ミッシングムーン』。そのプロモーションムービー第1弾を電撃オンラインで配信する。 今回お届けするのは『パーフェクトサン』の紹介映像。関連CD『MASTER ARTIST』からの新プロデュース曲『I Want』（春香）、『迷走Mind』（真）、『キラメキラリ』（やよい）のTV出演シーンをダイジェストで鑑賞できる。新曲の振り付けもバッチリ確認可能だ。 またPlayStation Spotで、これまで配布してきた4つのカスタムテーマに続き、バレンタインデーにちなんだ壁紙の配信が緊急決定。配信期間は2月13日15：00～16日15：00と、非常に短いので注意しよう。あわせて、第4弾のカスタムテーマ・961プロバージョンも2月13日15：00までの限定配
Coqで遊ぶその２: 風が吹けば桶屋が儲かるか - 言語ゲーム
前回の Coq はいきなり難しすぎました。forall とか、数学やってる人には常識なのかも知れないけど一介のプログラマには高度すぎます。ikegami さんに単純な例 http://www.youtube.com/watch?v=f9XOdpmeJ0o を教えてもらったんだけど同じじゃつまらないのでちょっと変えてやってみます。 風が吹く -> 桶屋が儲かる 風が吹く 以上の二つが成り立つ時、「桶屋が儲かる」が成り立つ。 矢印 -> は、条件と結果を現す記号です。「としたら」とか、「ならば」のように読みます。ここで一体何を証明しようとしているのか確認するのは大切だと思うので強調しますが、ここでは「風が吹く -> 桶屋が儲かる」こと自体を証明しようとしているわけではありません。もしも「風が吹く -> 桶屋が儲かる」と「風が吹く」の二つが正しいとしたら、「桶屋が儲かる」も正しいと言う事、つまり
Coqで遊ぶその１: - 言語ゲーム
CafeOBJ の雰囲気が分かった所で今度は Coq に挑戦。かなり難しいですが、あきらめずに Coq in a Hurry http://cel.archives-ouvertes.fr/inria-00001173 を元に勉強しています。 起動と終了 起動は coqtop で終了は Quit. です。また、macports でインストールすると emacs 用のスクリプトがついてきます。 M-x load-library coq-inferior M-x run-coq で実行すると便利。 Check: 要素から型を探す。 Check コマンドを使うと、関数型言語みたいに使えます。ただし計算はせずに型だけ表示します。nat が自然数型で、Prop が命題型(「ある」か「ない」かをあらわす)、Prop と似たようなのに bool (論理型) がありますが、使い分けるそうです。 Coq <
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
数学ナビゲーター
http://twitter.com/clearweather/status/1191831568
http://www.melatoninusa.com/library/ginko.html
String-ShellQuote-1.04 - quote strings for passing through the shell - metacpan.org
Amazon.co.ukでCD買ってみた - hide-k.net#blog