今回はCocoa Touchが持つ画面遷移機能について、仕組みと実際のプログラミングについて解説します。 画面構成を考える Viewとコントローラ Cocoa Touchでは、1つのアプリの中で複数の画面を遷移させるための仕組みがいくつか提供されています。リストから項目を選択すると右側から次の画面が現れたり、下に並べたタブから画面を選択させたりと、その使い方もさまざまです。Cocoa Touchではこれら1つ1つの画面を「View」と呼んでいます。 ViewはすでにInterface Builderで使ったことがあります。Viewという名前のついたウィンドウにパーツを配置して画面を作ったのを思い出してください。それこそがまさにViewの実体です。 Viewを作っただけでは、画面は出るもののアプリとしては何の役にも立ちませんでした。そこで、アウトレットやアクションを作成し、プログラムに接続し

iPhone 3GS iPhone 4 iPod touch 3G iPod touch 4G iPad 1 現段階ではA5であるiPhone 4S、iPad 2には未対応です。 iOS バージョン 完全脱獄 iOS ～4.3.3 iOS 5.0.1 仮脱獄 iOS 5.0 注意 脱獄、JailBreakはとても危険な行為です。 故障するリスクも大いにあります。 どのような自体になっても自分で解決できる能力と、全ての事柄を自己責任で実行出来る方のみ読み進めてください。 【Untethered holidays – Dev-Team Blog】 Win版：Redsn0w 0.9.10b5 for Windows Mac版：Redsn0w 0.9.10b5 for Mac 自身のOSにあった物をダウンロードしましょう。 既にiOS 5.0.1で仮脱獄中の方 既にiOS 5.0.1で仮脱獄済みの

iOS 5 に対応するために、今まで利用していた Xcode をバージョン 4.0 から 4.2 にアップグレードしました。そのときに遭遇した不具合と、解決した対処法をまとめておきます。 不具合の内容 Xcode 4.2 をインストールしたところ、既存プロジェクトをシミュレータで debug 実行はできたが、実機(iPhone 3GS, iOS 4.2.1)で debug 実行ができなくなった。 対処法 (1) Architectures が自動的に armv7 のみにされてしまうため、もし iOS 4.3 未満も動作対象としたい場合は armv6 を追加する Xcode 左側の「 Project Navigator 」でプロジェクトルートを選択＞「 Build Settings 」タブを選択する 「 Architectures 」項目が「 Standards (armv7) 」と指定され

I just recently downloaded the Xcode 4.2 with iOS 5 SDK package and I immediately noticed that I am unable to use my iPhone 3Gs with iOS 4.2.1 for debugging. I am only able to debug and test on my iphone 4 with iOS 5 installed. For any of my devices running any iOS less than 5.0 Xcode just says "Finished running for iPhone3GS" and doesn't run it. I have my deployment target set to 3.0 because I am

メール受信設定のご確認をお願いいたします。 AdverTimes.からのメールを受信できていない場合は、 下記から受信設定の確認方法をご覧いただけます。

IAGA事務局　石川です。（IAGAは国際GIFアニメアワードのことです！） 国際GIFアニメアワードでは、始めてGIFを作る方からプロの方まで、幅広く作品を募集しています。そこで、GIFアニメを作ったことのない方のために、ここでは作り方をリンクで紹介していきたいと思います。 Ａ．スマートフォンで作る（かんたん！） iPhoneの場合　…　GIF SHOP というアプリなら、写真を何枚か撮るだけで、簡単にコマ撮りアニメができます。使い方はGIF SHOPのページから、「How-To Video」をクリックすると見られます。 Androidの場合　…　GifStitch というアプリが簡単です。使い方は上のGIF SHOPとほぼ同じなので、参考にしてください。それから、PowerGIF というアプリを使えば動画からGIFアニメを作ることもできるみたいです。 GifStitchで作ってみました

携帯が壊れたのでiPhoneに買い替えました。 買い替えをきっかけにMacBook Pro.を購入しアプリの制作にも手を出しました。 なんかできるといいなぁ・・・

iPhone/iPod touch/iPadアプリ 開発／サポート ＆ 日々のつれづれ (This blog does the iPhone/iPod touch/iPad application development and support, and occasional scribble away.)

クラウドの進展、スマートフォンの普及、ソーシャルの台頭――。激変する情報化社会においてITリーダーが自らの価値を高めるには、ITの役割をゼロから発想し直す必要がある。そのための示唆に富んだ、米ガートナーのリサーチ部門総責任者Peter Sondergaard氏をはじめとするアナリストたちの講演を5回に分けてお届けする。これは、米オーランドで2011年10月16～20日に開催された「Gartner Symposium ITxpo 2011」のキーノートをまとめたものである。講演の動画は、ガートナーの日本語サイトから視聴できる。 前回は、ビジネスの新しいアプローチ（ポストモダンビジネス）を説明した。これらは「クラウド」「ソーシャル」「モバイル」「情報」によって実現される。新たな発想に基づいてダイナミックに展開されるポストモダンビジネスは、非常に複雑なものに思えるかもしれない。そこで今回は、パソ

iPhone アプリ開発の手始めに、NSURLConnection と NSOperation を組み合わせた Simple Http Client というモジュールを作りました。 使い方は、付属のテストコードを読んで頂けると、簡単に理解できると思います。 とても行数が少ないので、作る価値があったのか謎ですが（w； cooldaemon's SimpleHttpClient at master - GitHub 初めての Objective-C なので、突っ込み＆添削は大歓迎です。 機能追加しました。詳細は、SimpleHttpClient に JSON と XML のフィルタを追加しました をご参照ください。 HTML フィルタも追加しました。HTML に対して XPath が使えます。 NSOperationQueue を外部から与えられるようにしました。当たり前の事ですが、スレッドを

そもそもUIActivityIndicatorViewを使いたいのは、処理のかかる作業をさせたいわけだ id:uedam0322:20090206 にUIActivityIndicatorViewについて記載がある UIActivityIndicatorViewをくるくる回すには別スレッドを立ち上げ、そちらで重い処理を行い、 メインスレッドではくるくるを表示させる。 ところが別スレッドで重い処理をさせる場合でも 裏でthread safeでないUIKitが動いているから、その別スレッドではthread safeなことしかできない=Core Data系はかなり全滅 せいぜい使えるのはFoundation, それもファイル入出力系はいまのところダメ, 使うのならlock/@synchronizedしてね UIKitをそのThreadで使いたければperformSelectorOnMainThr

iOS5でましたね〜〜。iPhone4Sは、2011/10/14発売でしたが、私はSoftbankショップで事前予約して10/17に手に入れました〜。いじりながらニヤニヤ。嬉し〜〜。俺が買ったからキミも買え！ iOS5公開ともにこのエントリを書こうと思っていたけどiPhone4Sリリースとともに忙しくて遅れました。今回の目玉はiCloudですね。 では、いつものごとく iOS Dev CenterのiOS5の新機能の適当訳を書きます。 iOSデータストレージガイドライン iCloudはWiFiを使ってiOSデバイスを毎日自動的にバックアップする機能があります。アプリのホームディレクトリの中で、アプリ実行ファイル、キャッシュディレクトリ、tempディレクトリ以外のすべてのファイルがバックアップされます。購入した音楽、アプリ、本、カメラロールの写真、デバイスの設定、ホーム画面、アプリの構成、メ

てぃーによるiPhone/Mac/Android/Windowsアプリ開発、ウェブサービス開発、 ツイッター分析、音楽・DTM、イラストなど創作活動の記録です。 ブログ名は「創造性：creativity」（クリエイティビティ）と「てぃー」から。 勉強内容、デジタル製品（デジモノ）、エンタメについても書いていきます。 前回に引き続き、アップル純正の「Objective-Cプログラミング言語」を使った勉強です。 http://developer.apple.com/jp/devcenter/ios/library/documentation/ObjC.pdf 目次は以下です（再掲）。 序 章　はじめに 第 1章　オブジェクト、クラス、メッセージ 第 2章　クラスの定義 第 3章　オブジェクトの割り当てと初期化 第 4章　プロトコル 第 5章　宣言済みプロパティ 第 6章　カテゴリと拡張 第 7

◇ ◆ mixi - Japan's Largest Community of Hobbies! ◆ ◇ Mixi is a social networking service where everyone can talk about their own hobbies. Through various types of communities such as music, games, actors, everyone can get excited talking about their favorite topics! ◆ Recommended for… · People looking for friends with similar hobbies · People looking for friends who can understand a certain topic

非同期処理を行う方法はいくつかある URLフェッチ処理ならば、NSURLConnectionクラスをつかっておけば一発 さらに簡単にURLフェッチ処理を行いたいのであればこのライブラリをおすすめ URLフェッチ以外の処理を行うならば、NSThreadを使うか、NSOperationとNSOperationQueueを併用する NSThreadは従来どおり、本当にスレッド処理を記述する必要があるため非常に大変 対するNSOperationはインスタンスをつくってキューにぶち込んだら後は勝手にやってくれる、楽 UIViewやUIViewControllerに対する処理（要するに画面に対する処理）は、必ずメインスレッドから呼び出す必要がある スレッドセーフではないため 要するに[object performSelectorOnMainThread:withObject:waitUntilDone

2011年10月14日00:57 別スレッドの進捗状況を画面に表示する カテゴリcocos2dObjective-C melodybox Comment(0)Trackback(0) DBへのアクセスを別スレッドで行なっていて、画面上に「コネクション確立中」や「問い合わせ中」などのステータス表示を行ないたい時があります。 別スレッドから直接ラベルなどに書き込めれば楽なのですが、残念ながらスレッドセーフなコンポーネントは少ないようです。 今回ステータス表示に用いたかったCCLabelTTFクラスも例外ではありませんでした。 DBアクセス用のスレッドから進捗状況をメッセージで送信し、受信側のCCLayerでステータス表示を行ないたかったのですが、別スレッドから発されたメッセージから直接CCLabelTTFを操作すると、どんな文字列を設定しても四角いテクスチャになってしまいました。 // 通知セ

はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28

Cocoaリファレンス日本語化計画はAppleのCocoaプログラミングに興味のあるデベロッパーで作る、Apple Developer Connectionのリファレンスライブラリー(外部)の日本語訳です。閲覧される方は和訳の欲しいページのタイトルを検索するか、「リファレンス　Cocoa」などのタグで検索してみて下さい。タグの一覧は右サイドバーに、タグの命名法は下記の「ADCリファレンスライブラリーの階層構造」をご覧下さい。 このサイトの一部は@wikiのIDがなくとも自由に編集する事ができます。初めて編集される方はこのページの編集の仕方と下記の資料ページ作成の手順に一度目を通してみて下さい。また、続けて編集される場合は@wikiのIDを取得する事をお勧めしておきます。 編集の仕方 基本的な編集の仕方 資料ページの名前:名前は原題（英語）をつけて下さい(google検索しやすいように)。こ

YouTubeに作り方教えてとコメントがあったので，ソースコード類を置いておきます．(I show the resources of an Arduino-based gadget for iPad.) ※どうしてこういう設計に至ったかの経緯についてはこちらに書いています↓ iPadにArduinoをつなぎ，Webブラウザ上でProcessingを使ってセンサデータを可視化 - Imaginable Reality Circuit 回路は，USBキーボードとして機能するパートと，光センサとして機能するパートから構成されます．ArduinoでUSBキーボードを作る方法については以下のページをを参考にしました．(This circuit has two parts. One of them is a usb-keyboard emulator, and the other is a light

MFI membership is not needed for software developers its only needed for hardware developer. Also what USB port are you referring? are you referring the iPhone's 32 pin connector? You can always send data to hardware device using bluetooth. update 1 - First of all Sorry the code may look complex I am pasting this from my current project. Post comment if you want a sample project. first you need to

0" :class="{'submenu-list':currentMenu.parent && currentMenu.parent.name,'last-menu':isLastLevel}" > 0i� �U

Please update your browser. Download the latest version of a supported browser below to get the most out of this website: Google Chrome Mozilla Firefox Microsoft Edge I understand. Proceed anyway

普通にシステムコールを使ったシリアル通信で、Arduinoがセンサ情報送信 -> Cocoa側で受信はできていたんだけど、Cocoa側から送信ができずに2日ほど悩んでしまった。write関数で「Resource temporarily unavailable」とエラーが発生する。 ProcessingやArduinoのシリアルモニタでは問題なく送信ができるから、ファイルディスクリプタの設定の問題かと思って色々調べてるうちに、ズバリCocoa/Objective-Cで実装されたArduino用シリアルモニタのようなのが公開されているのを発見。(一番下のXCode Projectをダウンロード) http://www.arduino.cc/playground/Interfacing/Cocoa コードを読むとIOKitを使って何やら設定してるみたい。シリアル通信でもIOKitって使うことある

モバイルの世界では現在、スマートフォンのプラットフォームが乱立している状態にある。このなかで急成長しているのが米グーグルのAndroid。だが、将来にわたって成長ペースを維持するためには、いくつかの課題を克服する必要がある。Androidを中心にスマートフォン市場の最新動向を分析する。 米グーグルが2010年4月16日に発表した第1四半期の決算によると、売上高は対前年同期比23％増の67億5000万ドルと増収を達成した。発表資料には明記されていないものの、期中に多数発売されたAndroid端末やそれに関連する様々な動きが、今期の好業績に何らかの形で関与したと筆者はみている。だが、その成長を減速させかねない問題が顕在化してきている。今回はグーグルのAndroidを軸に、スマートフォンプラットフォームの動向を概説する。 モバイルの世界は現在、多くのスマートフォンプラットフォームが乱立している状

http://itpro.nikkeibp.co.jp/article/COLUMN/20100809/351100/ Androidが将来にわたって成長ペースを維持するためには断片化問題は避けて通れない。断片化問題とは、同じOSの異なるバージョンが市場に併存し、アプリケーションの互換性の対応が不十分になることを指す。例えばAndroid 1.5に対応しているアプリがAndroid 2.1と互換性があるとは限らない。そのため開発者にとって、アプリ製作にかかる時間的・経済的コストの負担が重くなっている。 英調査会社のIMSリサーチは、この断片化問題の主因はAndroidが採用しているApacheライセンスだと指摘する。同ライセンスは著作権表示さえ順守すればソースコードを公開することなく無保証・自己責任の下でソースコードを改変できる。また、頒布先のライセンシーに対してAndroidの修正を反映

堀江貴文オフィシャルブログ「六本木で働いていた元社長のアメブロ」 一般的には、ホリエモンとか堀江とか呼ばれています。コメントはリアルタイムには反映されません。私にコンタクトを取りたいときは、info@takapon-jp.comへメールでご相談ください。 最近ますます、TwitterのせいでiPhoneばかりいじっている私ですが、ブログ読むのにもAeroReaderを使っているので手放せません。さっさとソフトバンクキャリア独占をやめてほしいと思う今日この頃。 ちょっと技術的話題になりますけど、CPUパワーも大したことのない汎用部品ばかりで作られているiPhoneのアプリの動作がなにげに軽快なのを、いままで気にしていませんでしたが別件の仕事でちょっとiPhoneアプリのプログラミング書籍がらみの仕事をすることになって、話をしてたら、たしかにドコモのiアプリとか、EZアプリも一部Javaだしな

Exploring how audiovisual technology can be used to transform, create, expand, amplify and interpret physical spaces. Apple has not made it easy to let the iphone communicate with external devices. Basically, you need a jailbroken phone to do anything. This post covers the current state of serial communication on the iphone. A succesful example of making an application that uses the serialport on

How can I get iphone serial port I/O I have read the thread "http://devdot.wikispaces.com/page/code/Iphone+Serial+Port+Tutorial" But while I open "/dev/tty.iap" file then failed. how should i solve this? or Is any other way to connection with iphone serial port?

KIFはiOSアプリを自動操作するテストフレームワークです。 iOSにおいて継続的インテグレーションを実現するのに使えるのがKIFです。アプリの操作を自動で行って、テストの自動化を推進してくれます。 iOSシミュレータ、実機の双方で動きます。 テストの記述です。タップするラベルを指定しています。 デモ動画です。シミュレータはマウスでは触れていません。 KIFではテストコードをアプリに組み込みます。テスト自体Objective-Cで記述するようになっています。なお、ドキュメントにないAPIを使っていますので、アプリ申請の際に注意が必要です（KIFでは使い方を細かく書いています）。なおKIFはモバイル課金プラットフォームで知られるSquareを開発している企業のソフトウェアになります。 KIFはObjective-C製、Apache License 2.0のオープンソース・ソフトウェアです。

2010年度の総務省の「新ICT利活用サービス創出支援事業」の一つ「メタデータ情報基盤構築事業」で構築されたメタデータレジストリ“Meta Bridge”のサイトで、2012年1月10日から、アカウント登録受付が開始されたようです。 Meta Bridgeアカウント登録の受付を開始いたしました。（メタデータ基盤協議会 2012/1/10付けのニュース） http://www.mi3.or.jp/news/meta-bridge.html 参考： 「メタデータ情報基盤構築事業」で構築されたメタデータレジストリ“Meta Bridge” http://current.ndl.go.jp/node/19135

1月17日に選考会が行われた第146回芥川賞は、円城塔「道化師の蝶」と田中慎弥「共喰い」の２作が受賞した。 東京會舘で開かれた記者会見の席上、次回作に関する質問を受けた円城塔は、伊藤計劃の遺作となった未完の長編『屍者の帝国』を引き継ぎ、完成させる意向を明らかにした。 いわく、 「わたくしはデビューして今年で５年目になるんですけれど、ほぼ同時期にデビューして、３年前に亡くなった、伊藤計劃というたいへん力のある作家がいました。その伊藤計劃が残した冒頭30枚ほどの原稿があります。それを書き継ぐ----といっても、彼のように書くことは無理なんですが、自分なりに完成させるという仕事を、この３年間、ご家族の了承を得てやってきました。そろそろ終わりそうです。『なぜおまえが』という批判は当然あるでしょうが、次の仕事として、やらせていただければと思っています」 この会見は「ニコニコ生放送」で生中継されており

面白いものを探しにいこう 本物を体験し体感しよう 会いたい人に会いに行こう 見たことのないものを見に行こう そしてそれをやわらかくみんなに伝えよう [→ガジェ通についてもっと詳しく] [→ガジェット通信フロアについて] スピリチュアルな情報を得ても、鍛錬を積んでも、日常生活を送るうちに自然発生してしまう感情「不安」。 不安という感情は、1度生まれると新たな不安がそこから生まれて、勝手に膨大になっていくものです。この感情のコントロールができないと、次第に強い不安感に長期間悩まされることになり、あげく不眠や動悸などの身体症状を引き起こすことも。これがいわゆる「不安病」と言われるものです。 この不安に対して、先日放映されたNHK『ためしてガッテン』では、こんな衝撃的に簡単な対処法を紹介していました。 『不眠ストレス緊張撃退　1日15分！脳の簡単トレ』。 同番組によると、上記のように不安感情が暴走

経済産業省は2012年1月17日、Webサイト「復旧・復興支援制度データベース」をオープンした。国や地方公共団体などの支援制度を一括して検索できる。現在個人向けの支援制度225件、事業者向け支援制度199件が登録されている。 多くの行政機関から提供されている支援制度を、「住まい」「仕事」「医療・福祉」「子育て・教育」「おかね」「原子力関係」などのカテゴリーや、地域、やりたいこと、フリーワードなどで検索できる。 2月下旬には、RSSによる更新の通知機能を追加、またサイトのデータを利用するためのAPIも公開する。APIを利用してアプリケーションを作成することで「例えば、国、県および市町村からの住宅支援情報を民間の住宅支援情報と組み合わせて情報提供を行う民間サイトができるなど、官民の情報を組み合わせた利用者視点のサービスも実現可能になる」（経産省）としている。

「オルタ」という雑誌で東浩紀の「民主主義2.0」について書いたことがある（2009年11-12月号「メディアから時代を読む　＃９」）。 そのときまだ茫洋としていた問題について、ぼくは批判や疑問を書き連ねたが、定義づけや具体案をふくめ、これらのぼやけていたものは東の近著『一般意志2.0』で一定の輪郭を与えられることになった。 先にぼく流にざっくりと中身をまとめてみよう。 ルソーの「一般意志」は、あるアルゴリズムにしたがって生まれてくるグーグルのページランクみたいなもので、人々の無意識のデータベース*1から抽出されてくる数学的な結論のようなものである。*2 しかしそのような一般意志は大衆の欲望の集積であり（グーグル型民主主義）、それで政治を運営するのは危険。専門家や政治家たちの熟議（ミクシィ型民主主義）と相補的に用いるべき。民主主義2.0（＝ツイッター型民主主義＝グーグル型民主主義＋ミクシィ型

だて眼鏡のフレームにカメラを内蔵した同商品。記録媒体はマイクロSDカードで、出力はUSB接続。カメラはブリッジ部分（レンズをつないでいる部分）に500万画素/30fps/1280×720のHD画質カメラを内蔵する。同商品を使用することで、手ぶらで撮影することが可能。スポーツや運転しながらの撮影などに適しているという。 重さは60グラム。価格は7,980円。

Boats are the legendary “money pit” of DIY projects! Start (really) small with this 15-inch mini yacht, a simple and worthy pond sailer that’s rigged and scaled like a real yacht. You can build it in a weekend even if you don’t know your bowser from your keel. #RegattaDay

2012/01/28に行われる、第三回Twitter研究会向けの発表資料です。 他の発表者および参加申し込みは以下から。 http://partake.in/events/b7b25ded-4918-4e57-9984-15d11200e561Read less

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

トルコ水紀行　－前編 イスタンブール－ みなさんこんばんは、地図子です！8月は久しぶりに毎月更新にしようと思います。今までずっと名古屋について書いてきましたが、ワープして・・・ トルコについて書きたいと思います。 2024年6月に念願のトルコに行ってきました。いつからトルコに行きたかったかわから…

Explore the categories to the left Browse through the categorized sections on the left to learn more about Opera browsers. If you have a specific question, we recommend you search in the FAQ section. For the latest news and updates, check out Opera’s Blog. Update your browser Your Opera browser will automatically update when a new version is available. You can check its status in Update & Recovery

Dismiss Join GitHub today GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together. Sign up

気になる記事をスクラップできます。保存した記事は、マイページでスマホ、タブレットからでもご確認頂けます。※会員限定 無料会員登録 詳細 ｜ ログイン 谷島（宣之＝日経BPビジョナリー経営所）：『素敵な総合造形計画』は優れたモノやコトが持つグランドデザイン（総合造形計画）を、情報システムのデザインワークを長年手がけてきた桑原さんと読み解く企画です（連載主旨については第1回「わくわくしながら、しっかり稼ごう」を参照）。今回の題材は何でしょうか。 桑原（里恵＝札幌スパークル）：コンシューマー向けのIT製品を使って思いがけない付加価値を生み出している例を通して、技術を生かす発想について考えたいと思います。 最初は、マイクロソフトのKinectを使って小売店の買い物客を追跡し、陳列の効果や買い物客の動線を分析するアプリケーションを選んでみました（関連記事「KinectアプリShopper Track

「CatyScript コマンド呼び出しの意味論」より： 「ホーア論理とシーケント計算を混ぜたような意味記述構文」で述べた記述言語はマー悪くない感じです。ですが、使いやすい記述言語にするにはまだ拡張と改善が必要です。記述言語も記述される対象も、より精密にしたいですね。 気が付いたところを早速に拡張・改善します。 内容： 評価シーケント 推論規則、公理、証明 束縛列の操作 束縛列のマージ 評価シーケント計算のまとめ 評価シーケント 現状のシーケントの形式は Σ;x{E} → Γ;y です。もともとがホーア論理から出発したので、矢印「→」を取り除くと Σ;x{E}Γ;y というトリプルになります。しかし、もうトリプル形式にはこだわらないでシーケントとして扱うことにします。シーケントの左右が異なる形なのは扱いにくいので、左右とも同じ形式とします。その形は、Σ;x{E1, E2, ...} です。

今日の昼前に投稿した記事「評価シーケントの論理計算と操作的意味論」において、操作的意味論に基づいた意味記述方式を提案してます。これは、CatyScript2.0を記述する目的で考えたのですが、なぜ操作的意味論を採用したかを書いておきます。 CatyScriptの意味を表示的（denotational）に記述することも出来なくはないでしょう。しかし、簡単な仮想機械を想定して操作的（operational）に書くほうが次の点で有利なように感じました。 処理系実装の方針を立てやすい。 コンパイル方式のヒントになる。 スコープ／可視性の定義が容易。 細かい振る舞いまで記述できる。 細かい振る舞いが書けるということは、煩雑で抽象度が低いという欠点でもあります。しかし、表示的には書きにくいことがあるとき、自然言語で注記するくらいなら操作的に書いたほうがマシだと思います。 操作的な記述をシーケント計算と

雑感を記すだけですが： 1年ほど前に、「なぜ僕は操作的意味論に傾いたか」という記事を書いたことがあります。もともと、ナントカ意味論という分類には拘ってはいないのですが、できることなら表示的（denotational）にやりたいな、という希望はあります。ですが、「表示的」を狭義に考えると「どうも無理があるよなー」というのが僕の感想です。 集合と関数（写像）という枠組みでプログラムの意味を記述するのはなかなかうまくいきません。無限走行、部分性に関しては、ボトム、順序、位相といった構造を導入してきれいにマトメることができます。非決定性も、ベキ集合モナド（とその変種）や関係圏を使えば定式化できます。しかし、並列プログラムやリアクティブシステムになると辛い感じがします。時間の概念が陽に絡んでくると、表示的（外延的）な記述が難しくなります。 そもそも「表示的」って何なんだ？ってハナシがあるのですが、そ

なかなか良さそうだったので備忘録。iOSやAndroidなど、スマートフォンでのHTML5環境に合わせて作られた軽量モバイルフレームワークです。jQuery互換なので慣れてる方は使い方もすぐに覚えられると思います。特に軽量なのが嬉しいですね。 現状、jQueryを使うのであればスマートフォンにはjQuery Mobileという選択肢となりますが、やはりファイルサイズが気になります。そこで、jQueryをなんとか軽量に使おう、という動きが少し目立ってきました。 例えばzepto.js。がそうですし、jquipという、目的に合わせてjQueryを細分、モジュール化するライブラリなどもあります。 jQ.Mobiもその一つで、jQueryっぽく使えるHTML5環境のスマートフォン向け軽量ライブラリです。 用途を絞ることで軽量化できる、って事ですかね？こういう動きは個人的に歓迎ですけど、問題は派生ラ

おもしろそ～。 富山高専の河合孝恵准教授が、廃棄されたパソコン約100台の基板から純金を回収するという科学の授業を実施。純金2.13グラム（時価約1万円）の回収に成功したそうです。 廃棄されたPCや携帯電話を｢都市鉱山｣と呼び、そこからレアメタルを回収するってのが近年注目されております。河合准教授は、校内のごみ捨て場を、もっと身近な｢学校金山｣と呼んで、若者に理科への関心を持ってもらうべく授業を行なっているそうです。 授業として、実際に目の前でゴミが金になっちゃうのを見たら、理科が楽しくなりそうだし、リサイクルへの意識も凄い高まりそう。いいなー。 ところで回収した1万円ぶんの純金は何に使われたのでしょうか。 廃棄パソコンから純金回収 化学の授業で富山高専 [47NEWS（よんななニュース）] （西條鉄太郎）

キングジムは、iPadを接続して文書を電子化できるドッキングスキャナ「iスキャミル」（DSS10）を2月17日に発売する。価格は1万5540円。iPad用アプリ「i-Scan」（iOS4.3.5以降に対応）はApp Storeで無料配信する。 発表会の様子 iスキャミルは、スキャナ本体とiPadをDockコネクタで接続してiPadに直接データを取り込めるiPad／iPad2用のシードフィードスキャナ。使い方は、スキャナの電源を入れてiPadを接続し、スキャナ本体に書類や写真をセットして「i-Scan」アプリを起動したiPadからスキャンを実行するだけ。 取り込み時にはiPadの液晶画面にプレビューを表示する。スキャナ本体の電源が入っていない時に接続すれば、iPadの充電も可能だ。読み込む用紙サイズは、名刺や写真、A4判の書類など216×356ミリ（幅×長さ）までの用紙に対応した。 iスキャ