東欧チェコにもアグレッシブ系スケーターが居て当たり前。昨年に続き、ビデオコンテストするようで、作品募集のビデオがアップされました。昨年のビデオを観てみると対象はアマチュアのようです。公募しているサイトを探してみましたが、今一ハッキリしません。その辺りは後日更新したいと思います。
…というように、3つのかけ算とわり算の種類(しゅるい)を見分(みわ)けられることを学習(がくしゅう)したね。 今回は、身につけた「かけ算」、「ニコニコわり算」、「ドキドキわり算」を使って、沖縄(おきなわ)のカデナ米軍基地(べいぐんきち)と嘉手納町(かでなちょう)のことを勉強(べんきょう)するよ。地理(ちり)や歴史(れきし)、そして平和(へいわ)を考(かんが)える勉強も盛(も)りこんでいるので、それもいっしょに楽しみながら、「かけ算」と「わり算」の世界を広(ひろ)げてみよう。
レビログ (Make a little happier) 13周年+3i年 レビログの半分は管理人の独断と偏見でできています。残りの半分は現在残 希少につき 入荷待ちです。旧称 貧乏だけど心は萌え : ちょっといいかな! 俺の経歴 2008年9月13日 Category > 6_日記 > うだうだ日記 > TAG( ) Comment : 1 (link this page) まぁ、小学生の頃からプログラマやってる。MS-DOSでプログラム経験がある数少ない30代だとは思うんですよ。正直。カセットテープにデータ保存してる頃から(フロッピーすらなかった!)パソコンやってるのな・・・俺 リアルINT 18tとか、ビデオがA0とA8とB0とから書き始めて、すこし下があまるんだぜとか ビデオメモリの空きを利用して、拡張メモリ転送なんだぜ あれー、メモリの名前なんだっけなー。同時は1M以上のメモリに
Windows 10 の入ったディスクのバックアップが clonezilla で外形的にできることがわかった Posted on Jun 27, 2020 Windows10 が載ってるディスクに破壊的な変更加える前にバックアップしたくて、SystemRescueCd で clonezilla 使ってディスクまるごとイメージ化した(内部的には partimage が使われてる?)。 でこれ、レストアしたら起動する状態まで持っていけるんかな? すんごく不安だ。。。 — woremacx (@woremacx) June 15, 2020 systemrescuecd に同梱されている clonezilla を使ってまるまる取った Windows 10 のバックアップが戻せるか不安で仕方なかったので、VirtualBox に戻せるか試した。 そもそもなぜ clonezilla を試したかったの
http://groups.google.com/group/comp.lang.scheme/browse_thread/thread/929af95f9d27ef2c (via http://iiyu.asablo.jp/blog/2008/07/03/3607522) http://www.littlewingpinball.com/contents/ja/ypsilon.html ピンボールのゲームルールは現在CまたはC++で記述されています。速度の面では有利なのですが、プログラムにエラーがあるとあっけなくアプリケーションが異常終了し、デバッグも難しいという問題があります。イプシロンを使用すれば安全、簡単にルール部分のプログラムの開発が行えるようになります。またイプシロンは最新仕様のR6RSに準拠し、すべてのR6RS標準ライブラリーを提供しているのであらゆる分野のソフトウエア開発、
報道しないニュースが多すぎる たとえば、今回の毎日新聞の「WaiWai」問題がそうだ。7月20日に「おわび」が載っただけで、他の新聞は上っ面をなぞっただけ。インターネットを持ってない読者には、何があったかすらもわからない。 ぼくのエントリーでもまともに報道されないニュースもある。たとえば、「アメリカ年次改革要望書」の存在。「著作権法の「非親告罪化」とアメリカ年次改革要望書」「著作権者たちのいらだち」「今年のアメリカ年次改革要望書から」など、三度にわたって、日本の政治がアメリカの要望にそって動いていることを伝えた。しかも、この「アメリカ年次改革要望書」、秘密でもなんでもない。アメリカ大使館のホームページを見れば、誰でも読める。そして、これから数年後の日本の政治がどう動くが見えてくるのだ。(東龍氏によると「夕刊フジ」(引用はZAKZAK)には載っていた) さらに、トヨタの過労死裁判について
OMeta: an Object-Oriented Language for Pattern Matching OMeta is a new object-oriented language for pattern matching. It is based on a variant of Parsing Expression Grammars (PEGs) which we have extended to handle arbitrary data types. OMeta's general-purpose pattern matching facilities provide a natural and convenient way for programmers to implement tokenizers, parsers, visitors, and tree transf
最近Agdaを触る機会があったのだが、Agdaこそ未来のプログラミング言語ではないかという気がしてきた。ここでは行列の転置をする関数を定義することで、Agdaでのプログラミングがどんなものか紹介したい。その前に一言:Agdaは定理証明系として紹介されることが多い。これはAgdaにとって不幸なことだ。確かにAgdaの型システムは強力なので、例のカリーハワード同型により、型を命題、プログラムを証明とみなすことができる。ただし、私の印象ではAgda上は数学の証明をしやすいようにはそんなにはできていない。Agdaで証明するには、ある型をもつ定数なり関数を定義することになるわけだが、定義した関数がその型を持っているかことを型チェッカに説得するために、型チェッカの詳しい挙動について理解していなければならない。むしろ、Agdaは依存型をもつプログラミング言語と思った方がよいと思う。依存型とはなにかは例を
えらく古い本 (1985) ですが,たまたま研究室に転がっていたので眺めていたら,けっこう面白かったのでメモ. 知識表現とPROLOG/KR ET 言語の,D ルールの定義構文 (as *Head | *Body) とか,変数の頭に * (アスタリスク)が付くのとかも,Prolog/KR の as 構文 (assert の略らしい) なのかな ? Prolog/KR も変数の頭に * が付くのか,とか,こういう由来系の情報ってのは面白いです. Prolog/KR ってのは Lisp と Prolog の融合を進めたような言語のようです.というか,Lisp で書かれた Prolog 処理系のようです. 知識表現の利便性のために拡張された Prolog であり,多重世界の概念でプログラムの階層化(モジュール化)を可能にするそう.特に,AI における知識フレームなどが,一世界一概念という形で素直
先日のNHKで放映されたスティーブライヒのコンサートについて。オンエア時は気づくのが遅くて最後の5分間ぐらいしか見られなかったのだが、ニコニコ動画等に上がっているので全貌がわかった。Music for 18 musiciansの演奏だが、もう圧巻としか言いようがない。ライヒにしか作れない真にオリジナルな世界が展開される。ニコニコでも、最初のうちはいろいろコメントがついているが、次第に(音楽に聞き惚れているのか)静かになってくる。 生演奏ならではの見どころも多く、基調となるマリンバの演奏者が、途中で交代している様子なども興味深かった。 話が飛躍するが、クラシック音楽*1で決定的に欠けているのは「新作」の存在だと常々思っていた。もちろん現代音楽というジャンルはあるのだが、それがコンサートの主流になっているとはとても言えない。新しい曲が発表されて、最初は賛否両論だが、しだいに優れた作品がコンサー
レビログ (Make a little happier) 13周年+3i年 レビログの半分は管理人の独断と偏見でできています。残りの半分は現在残 希少につき 入荷待ちです。旧称 貧乏だけど心は萌え : 毎日新聞『英文サイト出直します』に疑問。出直すのは毎日新聞そのもの 2008年7月22日 Category > 6_日記 > 渋谷式オタク少年 > TAG( ) Comments : 4 (link this page) 毎日新聞、「低俗過ぎ」英文記事問題で内部調査公表 再三の指摘放置、「深刻な失態」 という、謝罪文が出ていることについて、ネットではこの辺で指摘されているが、今回の件は毎日新聞も被害者であり、ネットの暗部である。というコラムが同日でている。このような、謝罪中に自らが被害者であると告白できるには、社会通念的に子供の理論であり、自己反省がいかに業界内にないかというのがうかがい知れ
マーカス バッキンガム, ドナルド・O. クリフトン, 田口 俊樹 ¥ 1,680 合わなかった。 強点をさらに強くしたいひとに 弱点を克服するより、強みとなる才能を発見し顕在化させ磨くことが、最も成長する可能性がある。 疑問点がいくつか。 キャリアのさまざまな段階で役立つ自分を知る力 それによると、僕の才能(資質)は下記の5つとなるようだ。 1. 内省 2. 社交性 3. 達成欲 4. 着想 5. 学習欲 弾さんなんかは、才能 = 自分 = 強み と見ているようだが、僕もそう思う。で、僕も自分の才能について自覚的であったと言える結果になった。 この資質は弾さんと3つほどかぶっているのだが、残りの2つが違うだけで、総合的な資質は大きく変わるものと言えるらしい。僕の結果を見ると、どこまでいってもひとりよがりなタイプで、チーム全体に対してあまりプラスになれないようだ。マネージャー等の管理業務に
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く