統計数理研究所のYouTubeサイトをリニューアル・オープンしました。 現在は以下の2つの再生リストがあります。 USTREAMなどでの講義のアーカイブ 研究所の紹介ビデオ
統計数理研究所のYouTubeサイトをリニューアル・オープンしました。 現在は以下の2つの再生リストがあります。 USTREAMなどでの講義のアーカイブ 研究所の紹介ビデオ
鳥人間コンテスト関係の過去連載も併せて読んで頂ければ幸いです。 前回の最後に書いた通り、このブログを読んで鳥人間コンテストの問題点を考えて下さった方々、あるいは逆にこの揉め事を遠くから俯瞰している方々からは「鳥人間コンテストに出なければいいじゃないか」「自分達で大会を開けばいいじゃないか」という意見をよく聞く。全く自然な正論だと思うのだが、そうなっていないことには事情があるのだ。そこでまず、鳥人間コンテストとは何であるか、改めて振り返ってみよう。 鳥人間コンテストの誕生と急成長 第1回の鳥人間コンテストは1977年。讀賣テレビ(以下、ytv)制作の視聴者参加型のチャレンジ番組「びっくり日本新記録」の1企画としてスタートした。ときどき「アマチュア大会にテレビ局が手を出した」といった意見を聞くが、鳥人間コンテストは最初からテレビ番組の企画として始まったものだ。特に、滑空機部門の「細長い主翼で超
2013年6月22日 7時0分 リンクをコピーする by ライブドアニュース編集部 ざっくり言うと 「」に出場し、後遺症を負った女性が主催の読売テレビを提訴した 飛行中に約10mの高さから落下し、1日に4時間しか動けない身体となった女性 読売テレビは「問題はなかったと考えています」と述べた 「事故後はほとんど体が動かず、いっそのこと死んでしまおうと思うほどの日々でした。でも、どうせ死ぬならと思い、九州から東京に出てきたんです……」と語るのは、川畑明菜さん(26)。07年7月29日、読売テレビ主催の『第31回』に出場した彼女は、人力飛行機で滑走中に左主翼が折れ曲がり約10メートルの高さから落下。その衝撃が原因で『脳脊髄液減少症』という後遺症を患うことになった。 脳脊髄液減少症とは、脳脊髄液が漏れてしまうことが原因で頭痛やめまいや耳鳴りなどの症状が起こる疾患。川畑さんの場合は、日常生活もままな
Pure, declarative, and constructive arithmetic all-mode relations Universal quantification, impredicative terms, and effects Minimization of a Finite Automaton leanTAP theorem prover in Kanren Soutei, a logic-based trust-management system Beyond pure Prolog: power and danger Lambda-calculator and alpha-conversion in pure Prolog leanTAP theorem prover in pure Prolog ENKITEI: Interactive proof syste
身の周りで起きること、起こすことの記録、それが lifelog。 自分で作るモノの置き場所、それが repository。 ローカルで(つまり、手元の Mac や PC で)すでに git 管理しているディレクトリを github に公開する方法をメモしておく。単純な手順だし、ヘルプにも詳しく書かれているからそれを見れば良いだけなんだが、いずれ自分視点での記録も重宝するはず。 以前に書いた記事の続きになる。よって、ここでは Github へのユーザ登録はもちろん、SSH 公開鍵の登録も完了しているものとする。 手順 公開までの手順を段階に分けると以下のようになる。 github に新プロジェクトを登録する。 ローカルのリポジトリで、Github のプロジェクトリポジトリをリモートリポジトリとして追加する。 ローカルからリモート(github)に既存のコミットを push する。 1. プロ
IPAでは2003年末よりIPAが全権利を所有する「IPAフォント*」を公開して参りました。2010年2月には、ドキュメント用日本語フォントの標準的な実装を行った「IPAexフォント(IPAex明朝、IPAexゴシックの2フォント)」をラインナップに加えました。 「IPAexフォント」は、和文文字(仮名や漢字など)は固定幅、欧文文字は文字幅に合わせた変動幅を基本とした実装を行い、日本語文書作成の利便性の向上を目指したフォントです。 なお、過去のシステムとの互換性を求める場合には、欧文文字、和文文字ともに固定幅の「IPA明朝」と「IPAゴシック」、欧文文字、和文文字ともに変動幅の「IPA P明朝」と「IPA Pゴシック」の4種類のフォントをご利用になることもできます。 「IPAexフォント(Ver.001以降)」および「IPAフォント(Ver.003以降)」には、オープンソースライセンスとし
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く