  |
はてなキーワード: 桜川とは
数年に一度は自分に襲い来る長野まゆみ作品ブームにはまっている最中のため、あまり商業BLを読めていない今日この頃。残り少ないお小遣いも、長野先生の新刊（非BL）を買うために温存中。
ちなみに、長野まゆみ先生の書くものの多くには男×男の恋愛要素があるのだが、「非BL」作品扱いなのは何故なのかというと、BLレーベル以外から出版されており、商業BLの定義にあてはまるようなBLではないからというだけ。商業BLには面倒臭いルールがあるのだ。例えば、基本的にハッピーエンドとか、攻めの浮気厳禁とか、無駄に女を登場させてはいけないとか。
世界は人の住まう「現世」と人ならざる者の住まう「常世」に別れている。主人公の天野は、常世から来た者たちが利用する人里離れた旅寓（旅館）で働いている。
ある日、常世の王・ツクヨミが旅寓に骨休めにやって来た。傍若無人なツクヨミに天野は振り回されるが、ツクヨミにかつて自ら命を断った友人の面影を感じ、気になってしまうのだった。
これはある特定の層にピンポイントでぶっ刺さるやつなのだろうと思うが、生憎私自身はこういう系を好きこのんで漁って読む方ではないので、せいぜいハジ先生の『坊主と蜘蛛』を読んだくらい。BL外の作品ではたとえば『千と千尋の神隠し』とか『しゃばけ』とか『蟲師』とか『夏目友人帳』とか『モノノ怪』とか『家守綺譚』とかそこら辺が好きな人向けなんじゃないか。あ、私の好きな『左近の桜シリーズ』（長野まゆみ）もこういう系だな、そういえば。
特定の層にピンポイントでぶっ刺さる系なので、『極夜』のレビューを某BLレビューサイトで見るとけっこう良さげなのだが、泣いたとか感動したは言い過ぎなのではないかと、私は思う。そこまですごくはない。まあまあ良い話だとは思うけど。
事前調査なし・試し読みなしで買って読んだら、表紙めくって出てきたカラーイラストが『鴆――ジェン――』のフェイ将軍とツァイホンの絵だったので、私は買う本を間違えたのか？ と一瞬慌てた。調べたら、この『極夜』というタイトルの単行本、文善やよひ先生が『鴆』の大ヒットで人気作家になったために、絶版になっていた過去作品を『極夜』と改題して復活させたものだった。表題作の他に『鴆』の番外編も同人誌から再掲。なるほど、今の文善先生はかなり手練なプロ作家という印象だが、『極夜』は確かに若いなって印象だ。『鴆』はpixivコミックで2話まで無料で読める模様。
文善先生の大ファンの人で過去作品全部コンプしたい人向け。文善作品にちょっと興味があるくらいなら、回り道せずに『鴆』シリーズか『蟻の帝国』を読むといいのでは。
エロシーンがしめやかでいいな。私はあまりこれ見よがしな感じのエロシーンは好まないので。それと、ベタとスクリーントーンが少ない為にエロシーンの白抜きが煩く見えなくていい。
しかし、シンプルめな画風でもごっそりと白抜きのかかるのって。以前、某お気に入り作家さんのBL作品がシーモアで無料になっていたので読んでみたところ、修正レベルがシーモアだったのでKindleでは輝く白さに消されるべき所が薄ぼんやり見えていたのだが、薄ぼんやり越しにもそこがかなり生々しい描かれ様なので驚いてしまった。な……BL作家さんって、キャラの顔はめっちゃ漫画でもおちんだけはこんなにリアルに描くもんなのか……なんでここまでおちん描写に執心してるのかわからない……と、電子書籍派Kindle使いな私は愕然とした。そんな所どうでもいいと言い切ってしまうのも何か違う気もすると思いつつ、正直どうでもいいよなあ、どうせ消される所なんだし……と思わずにはいられない。
16ページしかない掌編なので、あらすじは省く。掌編アンソロジー『掌編歳時記 秋冬』に収録された作品。サラリーマンのほんのりオフィスラブ。現代の現代的な話だから、幻想なし。エロもなし。しかし非BLなので安定のインモラル上等ぶり。
普通に現代ものなのでビビった。登場人物がちゃんと今時のサラリーマンだなんてすごい！ 漢字の字形にやたら拘るところはいつもの長野先生だけれども。
こんな短い文章でボーイズがラブしているのすごい。文章は簡潔だけど、短いなかに情報量が多く、なのに情緒と風景描写が死んでいないとは。熟練のプロ作家恐るべし。と、これを読んだ時にちょうど小説投稿サイト・フジョッシーで開催されていた掌編コンテストに応募すべく四苦八苦していた私は、震え上がり畏れ平伏叩頭したのだった。プロすごい。
ところでBLとも長野先生とも関係ないけど、『掌編歳時記 秋冬』のトップバッターが先週亡くなった西村賢太先生。訃報を知ったあとに読むとほろりとしてしまう、切ない掌編だった。
猫のチマキは飼い主のマダム・ロコとはぐれてしまい、まだ赤ちゃん同然の弟・ノリマキを連れての放浪生活ののち、小巻おかあさんの家に流れ着いた。小巻おかあさんの家・宝来家は大所帯。おかあさんの息子でありまかない担当のカガミさんの他、おかあさんの亡夫の前妻・マダム日奈子、日奈子の娘の暦さん、暦さんの兄・樹の娘のだんご姫、だんご姫の叔父の桜川くん、そしてジャン・ポールが住んでいる。
そんな複雑な家庭でクセのある人々と共に暮らすチマキは、小巻おかあさんのエッセイ『コマコマ記』を真似て『チマチマ記』を書くことにした。これはチマキが宝来家にたどり着いてから約一年間の記録。
だいぶ極まった感じのロハス生活を描いた作品だが、長野まゆみ先生らしく背景には桜川くん×カガミさんのほんのり（悪魔的な）BLがある。
長野先生がこんなにふんわりした感じの森ガール（死語）が喜びそうな文章を書くなんて意外な気がする。しかも「にゃん語」とか「萌え」とかいう単語が長野作品に登場するとは、その事自体が萌え萌えしい。
だが、文体はふんわりしているのに、ことあるごとに美味しい食べ物はカロリーが高くしかも健康に悪いという現実をビシバシ突き付けてくる。なんなの長野先生サドなの？ そんなに言わなくてもいいじゃないカロリーのことなんて！ 普段は現実離れした作風なのになんでそこだけリアルでシビアなのか謎。極力カロリーと塩分を抑えてしかも美味しい料理を作ろうとなった時にまずは極上の食材を調達してきてそれを干す、という異様な難易度の高さ。救いなどなかった！ しょうがない、貧乏人はポテチ食ってデブるしか……。
昔、向田邦子か誰かの随筆で、戦中にこっそり隠れて読んでいた婦人雑誌に「シュウクレエムのいただき方」という記事が載っていて腹を空かせながら読んだが、結びに「淑女はシュウクレエムなど食べてはいけません」と書かれていてがっかりした、とかいう内容のがあったと思うのだが、きっとその時の向田邦子か誰かの気分が『チマチマ記』のお料理場面を読んだ時の私の気分に近いんじゃないかなと思う。
難易度高過ぎロハス暮らし描写に勝手に心折られてしまったが、桜川くん←カガミさんのBLは良さげに納まったっぽいのでいいや。
はてブのホットエントリ(総合)で月内に数多く[あとで読む]タグを集めたエントリ
506あとで/2747users 3年弱をかけ、ほぼ原付だけで日本全国の全市町村を回った人のブログ『名前も知らず興味も持たなかった町のページを開いてもめちゃくちゃ良い写真が出てきてしまう』 - Togetter
501あとで/4649users 普通の人が資産運用で99点をとる方法とその考え方 - hayato
422あとで/3111users この英単語を覚えるだけで、英文の９割は読めるようになるという話【NGSL,NAWL,TSL,BSL】｜かわんじ #BooQs｜note
343あとで/2716users ぼくは見た、国の消滅を | NHKニュース
336あとで/2885users 脅しも謝罪も必要ナシ。スゴ腕の債権回収OLに教わった、「人の動かし方」がスゴい | Dybe!
287あとで/1547users 機械学習の短期集中コース - Learn | Microsoft Docs
247あとで/2094users 中古物件に暮らす仲介のプロ秘伝の中古マンション注意点209個｜中古マンションのリノベーションならゼロリノべ
198あとで/1127users ふるさとの手帖
193あとで/1407users デザインが苦手な人へ。デザインの四大原則を押さえれば格段にクオリティ上がるよ→素人が作るチラシや仕様書などにも有益 - Togetter
187あとで/1969users 100分de名著シリーズのバックナンバー約100冊を読破したら人生変わった
185あとで/1274users 【全文無料】総目次 世界史/日本史のまとめ｜みんなの世界史｜note
183あとで/1101users 【全部無料】ハマると時間が秒で過ぎる英語圏のプログラミング系サイトまとめ【英語学習】 - Qiita
175あとで/1452users 2020年のIT業界で働く人に読んでほしい10冊｜マスク・ド・アナライズ｜note
170あとで/1530users Netflixで英語が勉強できる「LLN」がすごい！ 字幕の同時表示・速さ調整・辞書機能ありと至れり尽くせりだよ | Pouch［ポーチ］
170あとで/880users 架空企業「オニギリペイ」に学ぶ、セキュリティインシデント対策 (1/3)：徳丸浩氏が8つの試練を基に解説 - ＠IT
167あとで/1236users その本は、長く出版禁止だった。語られなかった〈女たちの戦争〉を今マンガで届ける理由――『戦争は女の顔をしていない』インタビュー
166あとで/1171users 要件定義～システム設計ができる人材になれる記事 - Qiita
163あとで/1490users ミルクボーイがアジャイルを説明したら - Tommy - Medium
157あとで/1488users 君はPornhubを知っているか - ゆーすけべー日記
154あとで/800users アプリケーションにおける権限設計の課題 - kenfdev’s blog
149あとで/1159users 読みやすい文章のために、極力削るべき言葉リスト｜桜川和樹｜note
149あとで/1425users クエン酸、重曹、セスキなど使い分けがわからない時に役立ちそうな表がとても有能と話題に「お掃除はRPG」 - Togetter
147あとで/870users ITエンジニアが投票した「ITエンジニア本大賞2020」ベスト10発表。「ドラゴンクエストXを支える技術」 「ダークウェブの教科書」など － Publickey
136あとで/1017users 三大読ませるWikipedia記事として「三毛別羆事件」「岡田更生館事件」「地方病」が話題に→みんなのオススメ記事が集まる - Togetter
130あとで/626users 現場で役立つシステム設計の原則メモ - Qiita
129あとで/924users 高校生がリアルタイム投票サイトを公開したらいきなり1万PVを記録した話 - Qiita
127あとで/748users 【2020年】AWS全サービスまとめ ｜ Developers.IO
124あとで/1279users 転職の際にもらえる「再就職手当」「就業促進定着手当」合わせて数十万もらえることもあるので、ぜひ知っておきたい - Togetter
123あとで/1052users ラズベリーパイ使って宅配便の再配達を撲滅した話（総集編） - West Gate Laboratory
122あとで/1029users 現職のGoogleのエンジニアの半年の勉強量がこちら - Togetter
1番あとで読むを集めたTogetterは当時参照先のブログがアクセス過多で見られなかったらしく、あとで読む付けておくしか無いよな。7番目にある「ふるさとの手帳」https://katsuo247.jp/と言うのがその見えなかったブログらしい。
地震、豪雨、酷暑、台風・・・今年、日本列島は、かつて無いほど立て続けに深刻な自然災害に見舞われている。
この危機的状況を踏まえ、日本国政府は200年ぶりの新天皇への譲位と、それに伴う改元、更には池袋大仏造立と、あらゆる霊力を尽くして災害への対策を進めている様だが、今般、北海道においても大地震が発生し、依然として自然災害の勢いが治まる様子は見られない。
東京は、常に人口過密状態にあり、いつ何時、自然災害により壊滅し、甚大な被害が生じてもおかしくない状況下にある。
家康公の江戸開府以来、江戸=東京は、幾度となく壊滅しても不死鳥のように蘇った都市ではあるが、我々日本民族はかつての輝きを失いつつあり、次に都市が壊滅した時は、もはや没落するしかないであろう。よって、機運の高まっている今こそ、東京オリンピックを返上して遷都すべきなのだ。
さて、遷都先については既に諸説あるが、私は是非「つくば」を推したい。
つくば市は、中心部は台地状となっており、大きな河川も無く、水害に見舞われる可能性が非常に少ない。茨城県の地下には、フィリピン海プレートと太平洋プレートが潜り込んでおり、比較的小規模な有感地震は多い方であるが、大規模な地震を起こすような活断層は見られず、地震に強い土地である。霊的にも、東に桜川（青龍）、西に常磐道（白虎）、南に牛久沼（朱雀）、北に筑波山（玄武）と、四神相応の地であることは言うまでもない。また、公務員宿舎跡や国立研究機関等、官庁街へと転用可能な国有地が多く存在する。噂では、かつて東京の過密対策を目的として、富士・赤城・那須・筑波への遷都が検討され、旧東京教育大学（筑波大学）も無理やり移転させられたが、なんだかんだあって規模が縮小されて研究学園都市となってしまった。その後、民主党政権下での決定によって一部で国有地の転売が進められているが、即刻これを停止して、皇居や国会議事堂、中央官庁等のつくば移転を実施すべきである。
| 駅名 | よみ | 距離(km) | 県1 | 県2 | |
|---|---|---|---|---|---|
| 守山 | もりやま | 104 | 愛知県 | 滋賀県 | |
| 渚 | なぎさ | 100 | 長野県 | 岐阜県 | |
| 大谷 | おおたに | 99.5 | 滋賀県 | 和歌山県 | |
| 関 | せき | 98.2 | 岐阜県 | 三重県 | |
| 平岸 | ひらぎし | 96.6 | 北海道赤平市 | 北海道札幌市 | |
| 小野 | おの | 96.6 | 京都府 | 兵庫県 | |
| 船津 | ふなつ | 94.9 | 三重県紀北町 | 三重県志摩市 | |
| 赤坂 | あかさか | 91.9 | 東京都 | 山梨県 | |
| 大久保 | おおくぼ | 91.1 | 京都府 | 兵庫県 | |
| 桜川 | さくらがわ | 90.7 | 滋賀県 | 大阪府 | |
| 立野 | たての | 89.9 | 佐賀県 | 熊本県 | |
| 追分 | おいわけ | 83 | 三重県 | 滋賀県 | |
| 古市 | ふるいち | 79.4 | 大阪府 | 兵庫県 | |
| 五条 | ごじょう | 79.1 | 京都府 | 奈良県 | |
| 木津 | きづ | 78.1 | 京都府 | 兵庫県 | |
| 曽根 | そね | 73.8 | 大阪府 | 兵庫県 | |
| 十日市場 | とおかいちば | 73.2 | 神奈川県 | 山梨県 | |
| 赤池 | あかいけ | 72.6 | 岐阜県 | 愛知県 | |
| 卸町 | おろしまち | 72 | 宮城県 | 福島県 | |
| 霞ヶ丘 | かすみがおか | 69.5 | 兵庫県 | 奈良県 | |
| 橋本 | はしもと | 69 | 京都府 | 和歌山県 | |
| 小川町 | おがわまち | 67 | 埼玉県 | 東京都 | |
| 黒沢 | くろさわ | 64.4 | 秋田県横手市 | 秋田県由利本荘市 | |
| 桜井 | さくらい | 58.7 | 大阪府 | 奈良県 | |
| 下島 | しもじま | 52 | 長野県伊那市 | 長野県松本市 | |
| 入谷 | いりや | 48.9 | 東京都 | 神奈川県 | |
| 九条 | くじょう | 46 | 京都府 | 大阪府 | |
| 東山 | ひがしやま | 45.2 | 京都府 | 奈良県 | |
| 長田 | ながた | 44.7 | 大阪府 | 兵庫県 | |
| 霞ヶ関 | かすみがせき | 43.5 | 埼玉県 | 東京都 | |
| 桜 | さくら | 42.2 | 愛知県 | 三重県 | |
| 栄町 | さかえちょう | 40.8 | 千葉県 | 東京都 | |
| 九条 | くじょう | 39.2 | 京都府 | 奈良県 | |
| 明智 | あけち | 38.6 | 岐阜県可児市 | 岐阜県恵那市 | |
| 平野 | ひらの | 32.8 | 大阪府 | 兵庫県 | |
| 柚木 | ゆのき | 31.6 | 静岡県富士市 | 静岡県静岡市 | |
| 九条 | くじょう | 31.4 | 大阪府 | 奈良県 | |
| 住吉 | すみよし | 30.5 | 兵庫県 | 大阪府 | |
| 平和台 | へいわだい | 27.1 | 千葉県 | 東京都 | |
| 足柄 | あしがら | 24.6 | 神奈川県 | 静岡県 | |
| 小野 | おの | 24.2 | 滋賀県 | 京都府 | 県境を越えるもので最短 |
| 日比野 | ひびの | 17 | 愛知県愛西市 | 愛知県名古屋市 | |
| 小杉 | こすぎ | 16.9 | 富山県富山市 | 富山県射水市 | |
| 高井田 | たかいだ | 14.5 | 大阪府柏原市 | 大阪府東大阪市 |
| 駅名 | よみ | 距離(km) | 会社名1 | 会社名2 |
|---|---|---|---|---|
| 春日井 | かすがい | 5.3 | JR東海 | 名鉄 |
| 志井 | しい | 2.8 | JR九州 | 北九州高速鉄道 |
| 野々市 | ののいち | 2.7 | JR西日本 | 北陸鉄道 |
| 尼崎 | あまがさき | 2.5 | JR西日本 | 阪神 |
| 白石 | しろいし | 2.2 | JR北海道 | 札幌市営地下鉄 |
| 長田 | ながた | 1.8 | 神戸電鉄 | 神戸市営地下鉄 |
| 市場 | いちば | 1.6 | JR西日本 | 神戸電鉄 |
| 西宮 | にしのみや | 1.3 | JR西日本 | 阪神 |
| 御影 | みかげ | 1.3 | 阪神 | 阪急 |
| 平野 | ひらの | 1.3 | JR西日本 | 大阪市営地下鉄 |
| 石川 | いしかわ | 1.2 | JR東日本 | 弘南鉄道 |
| 芦屋 | あしや | 1.1 | JR西日本 | 阪神 |
| 早稲田 | わせだ | 1 | 東京メトロ | 都電 |
| 塚口 | つかぐち | 1 | JR西日本 | 阪急 |
| 白島 | はくしま | 1 | 広島高速交通 | 広島電鉄 |
| 味美 | あじよし | 1 | 名鉄 | 東海交通事業 |
| 伊丹 | いたみ | 0.9 | JR西日本 | 阪急 |
| 宇治 | うじ | 0.9 | JR西日本 | 京阪 |
| 城野 | じょうの | 0.9 | JR九州 | 北九州高速鉄道 |
| 嵐山 | あらしやま | 0.9 | 阪急 | 京福電気鉄道 |
| 十条 | じゅうじょう | 0.9 | 近鉄 | 京都市営地下鉄 |
| 住吉 | すみよし | 0.9 | JR西日本・神戸新交通 | 阪神 |
| 琴似 | ことに | 0.85 | JR北海道 | 札幌市営地下鉄 |
| 郡元 | こおりもと | 0.85 | JR九州 | 鹿児島市電 |
| 今里 | いまざと | 0.85 | 近鉄 | 大阪市営地下鉄 |
| 浅草 | あさくさ | 0.8 | 東武・地下鉄 | つくばエクスプレス |
| 吹田 | すいた | 0.75 | JR西日本 | 阪急 |
| 野田 | のだ | 0.75 | JR西日本 | 阪神 |
| 春日野道 | かすがのみち | 0.7 | 阪急 | 阪神 |
| 谷山 | たにやま | 0.7 | JR九州 | 鹿児島市電 |
| 弘明寺 | ぐみょうじ | 0.5 | 京急 | 横浜市営地下鉄 |
| 中津 | なかつ | 0.5 | 阪急 | 大阪市営地下鉄 |
| 堀田 | ほりた | 0.45 | 名鉄 | 名古屋市営地下鉄 |
| 福島 | ふくしま | 0.35 | JR西日本 | 阪神 |
| 黄檗 | おうばく | 0.3 | JR西日本 | 京阪 |
| 朝倉 | あさくら | 0.3 | JR四国 | とさでん交通 |
| 甘木 | あまぎ | 0.25 | 西鉄 | 甘木 |
| 草薙 | くさなぎ | 0.25 | JR東海 | 静岡鉄道 |
| 伊野 | いの | 0.23 | JR四国 | とさでん交通 |
阿倍野ハローワーク・インターネットサービスで閲覧出来る職業は以下の通り。
詳細は伏せていますが、ハロワに行けば、これよりももう少しマシな案件が見られる。
～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～
NO 職種
1 指導員
2 （障）事務職
18 （障）ＳＥ／プログラマー
32 （障）機能訓練指導員（デイサービススタッフ）住込可平野区
35 （障）庶務
40 （障）インテリアデザイナー職（大阪市北区）
46 （障）言語聴覚士
52 （障）訪問マッサージ師
55 （障）人事アシスタント及び一般事務【人事・総務】大阪市内
56 （障）一般事務（セールスアシスト事業部 行政事務Ｇ）大阪
57 （障）営業・事務・キャリアアドバイザー／スタッフ採用担当
58 （障）営業・事務・キャリアアドバイザー／スタッフ採用担当
60 （障）薬剤師
61 （障）医療事務
62 （障）理学療法士
63 （障）作業療法士
68 （障）販売職【セールスアシスト事業部大阪支店】契約社員
70 （障）サービスステーションスタッフ
72 （障）グラフィックデザイナー
73 （障）プログラマー
80 （障）事務職、他
85 （障）あん摩マッサージ指圧師／大阪
86 （障）庶務
91 （障）訪問看護
94 （障）組込エンジニア
96 （障）作業療法士
109 （障）アドミニストレーター（一般事務）天満課
115 （障）データセンターにおけるオープンシステム系の運用ＳＥ
118 （障）あん摩マッサージ指圧師
134 （障）アドミニストレーター（一般事務）難波オフィス
144 （障）パソコンを使って受注確定や配送手配・売掛金消込など
145 （障）パソコン設定や操作などについてのコールセンター業務
152 （障）看護助手
北海署は２６日、傷害の疑いで、大阪市内に住む市立桜川中３年の男子生徒（１５）を逮捕した。
同署の調べでは、男子生徒は１６日午前１０時半ごろ、卒業式が行われていた体育館内で、女性教諭（５２）＝大阪市＝を押し倒して足で踏みつけるなどの暴行を加え、教諭の首に重症を負わせた疑いが持たれている。
同署によると、男子生徒は容疑を認めている。君が代斉唱の際に教師が起立しなかったことに腹を立て、暴行に及んだという。
・識者の話
暴力による国歌斉唱の強制はあってはならない。しかし、子ども達の目から見て、いかに大人が情けなく見えたのか、同じ大人として恥ずかしい限りだ。
国を想う少年の心に寄り添い、寛大な処置を求めたい。
今後はこのような事態が起きないよう、君が代起立指導の徹底を図っていく。
第1章 並行プログラミングとGHC (上田和紀) 1.1 はじめに 1.2 ターゲットを明確にしよう 1.3 はじめが大切 1.4 GHCが与える並行計算の枠組み 1.4.1 GHCにおける計算とは，外界との情報のやりとり(通信)である 1.4.2 計算を行う主体は，互いに，および外界と通信し合うプロセスの集まりである 1.4.3 プロセスは，停止するとは限らない 1.4.4 プロセスは，開いた系(open system)をモデル化する 1.4.5 情報とは変数と値との結付き(結合)のことである 1.4.6 プロセスは，結合の観測と生成を行う 1.4.7 プロセスは，書換え規則を用いて定義する 1.4.8 通信は，プロセス間の共有変数を用いて行う 1.4.9 外貨も，プロセスとしてモデル化される 1.4.10 通信は，非同期的である 1.4.11 プロセスのふるまいは，非決定的でありうる 1.5 もう少し具体的なパラダイム 1.5.1 ストリームと双方向通信 1.5.2 履歴のあるオブジェクトの表現 1.5.3 データ駆動計算と要求駆動計算 1.5.4 モジュラリティと差分プログラミング 1.5.5 プロセスによるデータ表現 1.6 歴史的背景と文献案内 1.7 並行プログラミングと効率 1.8 まとめ 第2章 様相論理とテンポラル・プログラミング (桜川貴司) 2.1 はじめに 2.2 様相論理 2.3 時制論理 2.4 多世界モデル 2.5 到達可能性と局所性 2.6 純論理プログラミングへ向けて 2.7 Temporal Prolog 2.8 RACCO 2.9 実現 2.10 まとめと参考文献案内 第3章 レコード・プログラミング (横田一正) 3.1 はじめに 3.2 レコードと述語の表現 3.3 レコード構造とφ-項 3.3.1 φ-項の定義 3.3.2 型の半順序と束 3.3.3 KBLとLOGIN 3.4 応用――データベースの視点から 3.4.1 演繹データベース 3.4.2 レコード・プログラミングとデータベース 3.4.3 いくつかの例 3.5 まとめ 3.6 文献案内 第4章 抽象データ型とOBJ2 (二木厚吉・中川 中) 4.1 はじめに 4.2 抽象データ型と代数型言語 4.2.1 抽象データ型 4.2.2 代数型言語 4.2.3 始代数 4.2.4 項代数 4.2.5 項書換えシステム 4.3 OBJ2 4.3.1 OBJ2の基本構造 4.3.2 モジュールの参照方法 4.3.3 混置関数記号 4.3.4 モジュールのパラメータ化 4.3.5 パラメータ化機構による高階関数の記述 4.3.6 順序ソート 4.3.7 属性つきパターンマッチング 4.3.8 評価戦略の指定 4.3.9 モジュール表現 4.4 おわりに 第5章 プログラム代数とFP (富樫 敦) 5.1 はじめに 5.2 プログラミング・システム FP 5.2.1 オブジェクト 5.2.2 基本関数 5.2.3 プログラム構成子 5.2.4 関数定義 5.2.5 FPのプログラミング・スタイル 5.3 プログラム代数 5.3.1 プログラム代数則 5.3.2 代数則の証明 5.3.3 代数則とプログラム 5.4 ラムダ計算の拡張 5.4.1 ラムダ式の拡張 5.4.2 拡張されたラムダ計算の簡約規則 5.4.3 そのほかのリスト操作用演算子 5.4.4 相互再帰的定義式 5.4.5 ストリーム(無限リスト)処理 5.5 FPプログラムの翻訳 5.5.1 オブジェクトの翻訳 5.5.2 基本関数の翻訳 5.5.3 プログラム構成子の翻訳 5.5.4 簡約規則を用いた代数則の検証 5.6 おわりに 第6章 カテゴリカル・プログラミング (横内寛文) 6.1 はじめに 6.2 値からモルフィズムへ 6.3 カテゴリカル・コンビネータ 6.3.1 ラムダ計算の意味論 6.3.2 モルフィズムによる意味論 6.3.3 カテゴリカル・コンビネータ理論CCL 6.4 関数型プログラミングへの応用 6.4.1 関数型プログラミング言語ML/O 6.4.2 CCLの拡張 6.4.3 CCLに基づいた処理系 6.4.4 公理系に基づいた最適化 6.5 まとめ 第7章 最大公約数――普遍代数，多項式イデアル，自動証明におけるユークリッドの互除法 (外山芳人) 7.1 はじめに 7.2 完備化アルゴリズム 7.2.1 グラス置換えパズル 7.2.2 リダクションシステム 7.2.3 完備なシステム 7.2.4 完備化 7.2.5 パズルの答 7.3 普遍代数における完備化アルゴリズム 7.3.1 群論の語の問題 7.3.2 群の公理の完備化 7.3.3 Knuth-Bendix完備化アルゴリズム 7.4 多項式イデアル理論における完備化アルゴリズム 7.4.1 ユークリッドの互除法 7.4.2 多項式イデアル 7.4.3 Buchbergerアルゴリズム 7.5 一階述語論理における完備化アルゴリズム 7.5.1 レゾリューション法 7.5.2 Hsiangのアイデア 7.6 おわりに 第8章 構成的プログラミング (林 晋) 8.1 構成的プログラミング？ 8.2 型付きラムダ計算 8.3 論理としての型付きラムダ計算 8.4 構成的プログラミングとは 8.5 構成的プログラミングにおける再帰呼び出し 8.6 おわりに：構成的プログラミングに未来はあるか？ 第9章 メタプログラミングとリフレクション (田中二郎) 9.1 はじめに 9.2 計算システム 9.2.1 因果結合システム 9.2.2 メタシステム 9.2.3 リフレクティブシステム 9.3 3-Lisp 9.4 リフレクティブタワー 9.5 GHCにおけるリフレクション 9.5.1 並列論理型言語GHC 9.5.2 GHCの言語仕様 9.5.3 GHCのメタインタプリタ 9.5.4 リフレクティブ述語のインプリメント 9.6 まとめ
