<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>ぴらぴら週記</title>
	<atom:link href="http://log.pira.jp/feed" rel="self" type="application/rss+xml" />
	<link>http://log.pira.jp</link>
	<description>ぴらついてる記録</description>
	<lastBuildDate>Sat, 06 Mar 2010 15:58:41 +0000</lastBuildDate>
	<generator>http://wordpress.org/?v=2.8.6</generator>
	<language>ja</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
			<item>
		<title>線型論理で日本語を拡張する委員会</title>
		<link>http://log.pira.jp/archives/2081</link>
		<comments>http://log.pira.jp/archives/2081#comments</comments>
		<pubDate>Sat, 06 Mar 2010 15:29:15 +0000</pubDate>
		<dc:creator>pira</dc:creator>
				<category><![CDATA[life]]></category>

		<guid isPermaLink="false">http://log.pira.jp/?p=2081</guid>
		<description><![CDATA[線型論理というものがあって、二種類のorみたいなものと二種類のandみたいなものがある。これを日本語の文の中で上手に使うことを考えると、たとえば、

「コーヒーか紅茶がつきます」は「コーヒー&#38;紅茶がつきます」
「コーヒーか紅茶をつけます」は「コーヒー⊕紅茶をつけます」

このように、より精緻な表現が可能になる。あとは適切な読み仮名をつけるだけである。というようなことをPPL2010の飲み会でしていたら、翌日、もっとまじめな話かと思ってよく聞いてみたらとんでもない話でびっくりしたと言われた。
結合子の読み仮名が欲しい。あと、!や?をどう表すかという難問も残っている。
]]></description>
		<wfw:commentRss>http://log.pira.jp/archives/2081/feed</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>次回の決定不能の会(3/20)は、一般化コラッツ予想他</title>
		<link>http://log.pira.jp/archives/2079</link>
		<comments>http://log.pira.jp/archives/2079#comments</comments>
		<pubDate>Tue, 02 Mar 2010 16:36:16 +0000</pubDate>
		<dc:creator>pira</dc:creator>
				<category><![CDATA[life]]></category>

		<guid isPermaLink="false">http://log.pira.jp/?p=2079</guid>
		<description><![CDATA[なのです。参加したい方はこちらで自己紹介してください。
http://groups.google.co.jp/group/undecidable/
]]></description>
		<wfw:commentRss>http://log.pira.jp/archives/2079/feed</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>ダカールに行きます</title>
		<link>http://log.pira.jp/archives/2077</link>
		<comments>http://log.pira.jp/archives/2077#comments</comments>
		<pubDate>Tue, 02 Mar 2010 16:24:30 +0000</pubDate>
		<dc:creator>pira</dc:creator>
				<category><![CDATA[logic]]></category>

		<guid isPermaLink="false">http://log.pira.jp/?p=2077</guid>
		<description><![CDATA[といっても、一週間で帰ってくると思う。LPAR-16から、acceptしますと言われました。わーいわーい論文ちゃんと直すぞー。とかなんとか言いながら、ひとつぶつかった行事を、無理を言ってキャンセルさせていただいた。ありがたい。
それにしても、LPARの論文募集の口上が、素晴らしい。まるで古今和歌集の仮名序のようだ。
Logic is a fundamental organizing principle in nearly all areas           in Computer Science. It runs a multifaceted gamut from the           foundational to the applied. At one extreme, it underlies       [...]]]></description>
		<wfw:commentRss>http://log.pira.jp/archives/2077/feed</wfw:commentRss>
		<slash:comments>2</slash:comments>
		</item>
		<item>
		<title>予定</title>
		<link>http://log.pira.jp/archives/2072</link>
		<comments>http://log.pira.jp/archives/2072#comments</comments>
		<pubDate>Tue, 02 Mar 2010 10:13:30 +0000</pubDate>
		<dc:creator>pira</dc:creator>
				<category><![CDATA[life]]></category>

		<guid isPermaLink="false">http://log.pira.jp/?p=2072</guid>
		<description><![CDATA[3/3&#8211;5 こんぴらさま
3/8&#8211;12 金沢
3/15 カメラレディ締切
3/17 手続き
3/18, 19 京都
3/20 決定不能の会
3/21 異文化対抗卒論修論大会
3/24 式典
4/8&#8211;16 某講師
4/25&#8211;5/1 セネガル
]]></description>
		<wfw:commentRss>http://log.pira.jp/archives/2072/feed</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>自動筆記</title>
		<link>http://log.pira.jp/archives/2070</link>
		<comments>http://log.pira.jp/archives/2070#comments</comments>
		<pubDate>Sat, 27 Feb 2010 18:39:56 +0000</pubDate>
		<dc:creator>pira</dc:creator>
				<category><![CDATA[life]]></category>

		<guid isPermaLink="false">http://log.pira.jp/?p=2070</guid>
		<description><![CDATA[そもそもなにが起こるかわからないのに、いろいろと皮算用をしたり打算をしたりするのはなぜなんだろう。きっと打算をしないと怖いというのもあるだろうし、なにが起こるかわからないといってもそれがたいしたことだと思おうとしたところで、たいしてなにが起こるかわからないというのはたいしたことないようにしか思えないのであろう。だいたいなにかが起こるかもわからないのがほんとうのところなのだろうけれども、そこまで思いつめてしまうと、怖いんだろうなぁ。あ、それから、なにかが起きるとしたところで、それは起きない人と起きる人がいて、それが起きる人はそれが起きる人としか会わないようになっているのかもしれないし。まぁ、この、起きる人と起きない人がいる話は、たいした話ではないような気がするな。ただの名前の付け替えだから。なにかが起こるかもわからない話は、けっこう怖いんじゃないか。
]]></description>
		<wfw:commentRss>http://log.pira.jp/archives/2070/feed</wfw:commentRss>
		<slash:comments>2</slash:comments>
		</item>
		<item>
		<title>gitのbranchを、更新が新しい順に表示する</title>
		<link>http://log.pira.jp/archives/2067</link>
		<comments>http://log.pira.jp/archives/2067#comments</comments>
		<pubDate>Sun, 21 Feb 2010 14:11:17 +0000</pubDate>
		<dc:creator>pira</dc:creator>
				<category><![CDATA[programing]]></category>

		<guid isPermaLink="false">http://log.pira.jp/?p=2067</guid>
		<description><![CDATA[Gritらくちん。
例によって何が起きても知りません。
]]></description>
		<wfw:commentRss>http://log.pira.jp/archives/2067/feed</wfw:commentRss>
		<slash:comments>1</slash:comments>
		</item>
		<item>
		<title>抱負refined</title>
		<link>http://log.pira.jp/archives/2065</link>
		<comments>http://log.pira.jp/archives/2065#comments</comments>
		<pubDate>Fri, 19 Feb 2010 01:59:17 +0000</pubDate>
		<dc:creator>pira</dc:creator>
				<category><![CDATA[life]]></category>

		<guid isPermaLink="false">http://log.pira.jp/?p=2065</guid>
		<description><![CDATA[千年はもつようなくだらない仕事をしたい。
]]></description>
		<wfw:commentRss>http://log.pira.jp/archives/2065/feed</wfw:commentRss>
		<slash:comments>1</slash:comments>
		</item>
		<item>
		<title>抱負</title>
		<link>http://log.pira.jp/archives/2064</link>
		<comments>http://log.pira.jp/archives/2064#comments</comments>
		<pubDate>Tue, 16 Feb 2010 18:55:55 +0000</pubDate>
		<dc:creator>pira</dc:creator>
				<category><![CDATA[life]]></category>

		<guid isPermaLink="false">http://log.pira.jp/archives/2064</guid>
		<description><![CDATA[千年くらいはもつような仕事をしたいです。
]]></description>
		<wfw:commentRss>http://log.pira.jp/archives/2064/feed</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
	</channel>
</rss>
