Copyright (c) 2009 Impress Watch Corporation, an Impress Group company. All rights reserved.
Copyright (c) 2009 Impress Watch Corporation, an Impress Group company. All rights reserved.
No.l8のDASSさんのコメント、またしてもポイントを突かれちゃいましたね。大切な部分です。 こんどは "=" についての考察でしょう。 x=y とは何を言っているのか。これは実は「一階述語論理」の範疇を少し越えているのです。つまり "="の公理というのはちょっくら胡散臭い。それはこういうものです。 「xを含みyを含まない任意の命題A(x)において、xをすべてyに書き換えて得られる命題をA(y)とするとき、x = y とは どんなAを持ってきても、A(x)が成り立つこととA(y)が成り立つ事が同値である(一方が真なら他方も真、一方が偽なら他方も偽である。)ということを表す。」 つまり、どんなAについても、xとyは同じ性質を示すということを言っているわけです。その帰結として「=の反射則」 x = x 任意の対象xはそれ自身と = で結ばれる、ということ、「=の交換則」 x = y ならば
English document is below. (click to download Hanazono font at osdn.jp) 下面有中文。(在osdn.jp下载“花园字库“) 現在公開されている花園明朝:2017年09月04日版 ダウンロード 花園明朝(HanaMin) (osdn.jp) 花園フォントについて このフォントは自由かつ無償の漢字フリーフォントです。非漢字は一部のみ含まれます。現在は明朝体フォント1ウェイトが提供されています。フォントの生成にはKAGEシステム、Clipper, FontForgeおよびTTXを利用しています。 収録されているグリフはすべてグリフウィキに登録されているデータを利用しています。このデータは、グリフウィキに登録ユーザーとして、あるいは匿名ユーザーとして漢字字形データを登録・改良してくださった多数の方々によるボランティアの活動から成
私は学生時代、神保町のとある古本屋で期間限定のバイトをしていました。年に三回くらい、その古本屋さんが急がしい時に行くという感じです。ここでのバイトは古本屋やそのジャンルのちょっとした知識がつくというのもあってけっこう楽しいものでした。あと帰りにゲーセンに寄ってシューティングをしたり、倒産する前のマルゲ屋に寄ったり、書泉ブックマートでいろいろなマンガを買って帰ったのもいい思い出。 さて、そこでは力仕事が主だったのですが、その時に教えてもらい、今でも使っている非常に便利なライフハックを書いてみます(当時ライフハックなんて言葉どころか、インターネットでさえもほとんどありませんでしたが)。ちょうど引っ越しシーズンで本やら雑誌をまとめる人も多いでしょうから、ちょうどよいでしょう。 手軽に雑誌を縛る方法 1、準備 2、縦に巻き付ける 3、90度ずらす 4、横に巻き付ける 縛った雑誌の束から取り出して、
増えすぎても困りません。そう! 解決策があるんです。 何のことかといえば、Firefoxのブックマークツールバーのこと。このツールバーでは、簡単にサイトを登録でき、ワンクリックでアクセスできるので、よく見るページを登録している方も多いでしょう。私の場合は、クルマのサイトやIT系の情報サイト、当然、ライフハッカー[日本版]のサイトをブックマークに登録しています。 ブックマークツールバーは、沢山サイトを登録すると画面に収まらなくなり、登録したサイトがドロップダウンリストに追いやられて、ワンクリックでアクセス出来なくなります。仕方なく、ブックマークのタイトルを短くするなどして、画面内に収まるような工夫して来たのですが、アドオン「Multirow Bookmarks Toolbar」を使えば、その必要はありません。 増えすぎてお困りの方は、以下にて、さらに詳細を。 「Multirow Bookma
1年半ぶりの連載再開でいきなり最終回、というやや乱暴な展開だが、後は読者諸兄の自己研鑽に期待したい。どんどんコピペしてzshの力を満喫してくれ! こいつを${HOME}/.zshrcにコピーだ! そのまま使えるコピペシリーズ第3弾をお届けしたい。本連載第10回と第22回でそのまま${HOME}/.zshrcにコピーすれば使える設定ファイルを紹介した。あれから1年半、zshはマイナーリリースを重ね当時とほぼ変わらない機能を提供している。"Z"の名にふさわしい鎮座ぶりだ。その間漢の設定ファイルも微調整を繰り返してきた。というわけでこれが最後だ。もってけ野郎ども! リスト1 コピー&ペースト対応${HOME}/.zshrc ファイル - FreeBSD/Mac OS X/Ubuntsu対応版 # users generic .zshrc file for zsh(1) ## Environmen
リアルな頭部と日本人青年女性の平均体型を持つ人間型ロボットを開発 人間に近い動作や音声認識にもとづく応答を実現 エンターテインメント分野や人間シミュレーターとして機器評価への応用に期待 独立行政法人 産業技術総合研究所【理事長 吉川 弘之】(以下「産総研」という)知能システム研究部門【研究部門長 平井 成興】ヒューマノイド研究グループ 梶田 秀司 研究グループ長らは、人間に近い外観・形態を持ち、人間に極めて近い歩行や動作ができ、音声認識などを用いて人間とインタラクションできるヒューマノイドロボット(サイバネティックヒューマン、以下「HRP-4C」という)を開発した。 HRP-4Cは、身長158cm、体重43kg(バッテリー含む)で、関節位置や寸法は日本人青年女性の平均値を参考に、人間に近い外観を実現した。歩行動作や全身動作はモーションキャプチャーで計測した人間の歩行動作や全身動作を参考にし
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く