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