『こむぞう』において小宮山雄飛、大橋慶三の爆笑を誘っている。
『こむぞう』開始以前に、小宮山雄飛がパーソナリティーを務めるインターネットラジオ番組『／（ななめ）』に、毎回、豪華ゲストとして参加していた。
ホフディランの小宮山雄飛、ノーナ・リーヴスの西寺郷太とともに、トークユニット『ザ・プロセス』を結成している。
口下手な一方、自らのウェブサイトやブログでは、『（笑）』を多用した面白げな文章を巧みに操り、その文才をいかんなく発揮している。しかし、ウェブサイトの更新は滞っており、その運用に関して悩んでいると『こむぞう』で打ち明けている。
本人曰く、色は緑を好む。それが高じて「ミドリムシ」というキャラ、「誰がミドリムシやねん」というギャグをも生み出す結果につながった。
しかし緑ではなく水色の服を着ている事も多い。
さまざまな髪型をすることで有名だが、一時期罰ゲームでザ・ロックの髪型にした。しかし、元の性格や感情の抑制によりザ・ロックのキャラとはかけ離れたキャラが生まれてしまった。
交友関係.
主な作品.
参加作品.
秋月城 (紀伊国)
秋月城（あきづきじょう）は、紀伊国、現在の和歌山県和歌山市にあった日本の城。
概要.
漫画.
テレビドラマ.
マデシ人民の権利フォーラム
吉行あぐり美容室
渡邊奈央
来歴.
ジョクジャカルタ
花より男子ファイナル
テレサ・フー
プロフィール.
音楽作品.
青竜寺
線形論理
このような活動を通常の論理でうまく表せないのは、クリームやバターなどの「資源」全般の性質によるものである。ある量の資源は、真理のように好きなように使ったり始末したりできず、全ての「状態変化」について注意深く見ていかなければならない。バター作りを正確に表すと、次のようになる。
線形結合記号.
実際の自動販売機は、これらの結合子の複雑な組み合わせで表され、それによって機械の全ての振る舞いを記述できる。
線形論理の変種.
証明は全てカット規則を使わない形に変換できる。
線形論理の他の変種には、特定の結合子を持つものと持たないものなどがあり、扱う論理の複雑さも様々である。以下は、最も一般的な変種である。
線形論理には一階のものと高階の拡張があるが、その考え方は標準的である。
ほかの部分構造論理.
線形論理に近い部分構造論理として、以下のものがある。
線型論理