  |
はてなキーワード: 大須賀とは
自ら愚行する権利はあるが、他人に自覚のない愚行をさせて金儲けをする権利などない - id:magefee
ブコメページ - がん研究者が心の底から「標準治療を選んで！」と訴える理由（大須賀 覚） | ブルーバックス | 講談社（1/3）
普通のリンゴを思い浮かべてください。虫食いもなく、色ムラもなく、形も整っているでしょう。私は普通の「定義」はそれで良いと思います。普通な人間なんて一人もいない。定義を変えず、そっちを受容しましょうよ！ - id:sangping
全然わかってない。こういう奴が自殺者数を増やすのだろう。自殺はメンヘルの一症状。風邪をひいた時に咳をするのと一緒。「咳する奴はアホ」と言って咳が減る訳ねーだろボケが。必要なのは投薬とカウンセリング - id:xevra
うつ病は脳の異常なので投薬が効きます。風邪とか脳腫瘍とか皮膚病と一緒です。風邪で困ってる奴は風邪治らない決心をしているんですか？違います。 - id:brightsoda
依存症を始めとする良くない生活習慣を改善する上で最も役に立たないのが、本人の強い気持ち。それで辞められるなら苦労はないのよ。/病院始め他者の助けを借りた方が良いと思います。 - id:yujimi-daifuku-2222
患者が望む最後と、家族が望む最後は違う。 患者は苦しみたくないが、家族は悲しみたくないのだ、意見が一致するわけない。 そして医師が尊重するのは、家族が望む最後なのだ。 - id:elsdac
「新しい波24」って誰が出てたんだっけ、とも思って検索してみた。
このあたりは順調にテレビで見る。
ロングコートダディ（堂前透・兎）
ここは関西圏だと、割と見かける。
一月に水曜日のダウンタウンに母親ネタで出演してた一週間後くらいに解散だって。
吉住
ここらへんは関東圏では出てそう。
アメリカンコミックス（飯島翔平・鈴木祐介）
絶対アイシテルズ（らぶおじさん・楠見大輔）
まったく受け入れられなくて全カットコンビとかいた記憶しか残ってない。
こんなに出ていたのね。
関西ローカルと関東の番組とでは毛色がまったく違うんだろうな。
千原ジュニアの「座王」は関西メンバーに時々関東芸人も出演してる。
笑い飯の西田が【鬼】と呼ばれるほどの強さを示してる。化けた。
ロングコートダディの堂前がんばってる。
からし蓮根、たくろう、ネイビーズアフロ、セルライトスパ、紅しょうが、こうてい
こうていのズイィーヤのギャグをやるほうが顎の手術してたのとか知らなかったわ。
2015年以降。
吉田たち、マルセイユ、アイロンヘッド、祇園、タナからイケダ、
コマンダンテ、ヘンダーソン、見取り図、ニッポンの社長、マユリカ。
関西でもあんまりネタ番組やってないから、舞台に行けばみんな頑張ってるんだろうなあ。
アキナの【吉本超合金A】に出てて東京に進出したおいでやす小田。
Wの決勝戦にも出演してた紅しょうがが先日夕方のニュース番組？バラエティ？にロケ芸人に出てて、
いい感じに無毒化されてて、そういう役割で出演できるのも道よなあ、って思った。
古くは【10カラット】【ゲンセキ】で見かけた芸人も検索してみたら解散したり引退してたり。
2005年ですって。14年前ですよ。
ハリセンボンとかプラスマイナス、上木総合研究所、U字工事、イワイガワ、マチコ、コンマニセンチ、
オリエンタルラジオ、トップリード、アームストロングが出てたなあ。
ジャルジャルも出てたんだっけか。
【爆笑BOOING】見てた。
あと、あれあれ。
芸人たちがVTRを撮ってきて作って発表しておもしろかった上位五組とかだけ放映されるやつ。
ビリジアンとか小籔が生き残ってるんな。
水玉れっぷう隊はケンが吉本坂46に選出されてるよな。すごいな。
【火花】じゃないけど、おもしろくても生き残れない人生とか考えたら恐ろしいな。
ハライチの岩井じゃないけどバラエティ風で生き残っていくという選択肢すら選ばされないまま
スタート地点にすら立てないのは大変だ。
第1章 新しいプログラミング・パラダイムをめぐって (井田哲雄) 1.1 はじめに 1.2 プログラミング・パラダイムの形成 1.3 プログラミング・パラダイムの展開 1.4 パラダイムと作法と構造化プログラミング 1.5 構造化プログラミングを超えて 1.6 関数型プログラミング，論理型プログラミング，対象指向プログラミング 1.7 新しいプログラミング・パラダイム 1.8 まとめ 第2章 ラムダ計算と高階プログラミング (横内寛文) 2.1 はじめに 2.2 ラムダ計算 2.3 最左戦略 2.4 コンビネータによる計算 2.5 まとめ 第3章 マルセイユProlog，Prolog Ⅱ，Prolog Ⅲ 3.1 はじめに 3.2 準備 3.2.1 述語 3.2.2 項 3.2.3 項の単一化 3.2.4 節およびHorn節 3.2.5 論理式の意味 3.2.6 論理的帰結と導出 3.3 マルセイユProlog 3.3.1 Prologの記法 3.3.2 Prologの計算規則 3.3.3 Prologプログラムの例 3.3.4 カット・オペレータ 3.3.5 DEC-10 Prologとの相違 3.4 Prolog Ⅱ 3.4.1 difオペレータ 3.4.2 freeze 3.4.3 ループ構造 3.4.4 Prolog Ⅱのインプリメンテーション 3.5 Prolog Ⅲ 3.5.1 制約の枠組 3.5.2 Prolog Ⅲのプログラム例 3.5.3 束縛の領域と制約系 3.5.4 Prolog Ⅲのインプリメンテーション 3.6 まとめ 第4章 制約論理型プログラム (相場 亮) 4.1 はじめに 4.2 制約プログラミング 4.3 制約の分類 4.4 プログラムの実行 4.5 制約の評価 4.6 まとめ 第5章 オブジェクト指向 (柴山悦哉) 5.1 はじめに 5.2 モジュラリティと抽象化 5.2.1 抽象化 5.2.2 手続き抽象 5.2.3 データ抽象 5.2.4 オブジェクトによる抽象化 5.2.5 並列オブジェクトによる抽象化 5.3 共有 5.3.1 多相型 5.3.2 継承 5.3.3 多重継承 5.3.4 Self 5.3.5 動的束縛の意義 5.4 対話性 5.4.1 クラスの再定義 5.4.2 表示機能の一体化 5.5 オブジェクト指向の弱点 5.6 まとめ 第6章 型推論とML (横田一正) 6.1 はじめに 6.2 LCFの超言語からMLへ 6.3 プログラミング言語と型 6.4 MLの表現と型宣言 6.5 MLの型推論 6.6 LCFへの応用 6.7 まとめ 第7章 Miranda (加藤和彦) 7.1 はじめに 7.2 Mirandaの概観 7.2.1 等式による定義 7.2.2 基本データ型と基本演算子 7.2.3 ガード付き等式とスコープ・ルール 7.2.4 高階関数とカリー化 7.2.5 パターン・マッチング 7.2.6 ノンストリクト性と遅延評価 7.2.7 ドット式とZF式 7.3 型 7.3.1 強い型付けと静的な型付け 7.3.2 多相型 7.3.3 型類義 7.3.4 代数データ型 7.3.5 抽象データ型 7.4 処理系 7.5 まとめ 7.6 文献の紹介 第8章 項書換えシステムと完備化手続き (大須賀昭彦) 8.1 はじめに 8.2 項書換えシステム 8.3 TRSの停止性 8.3.1 意味順序 8.3.2 構文順序 8.4 TRSの合流性 8.4.1 完備なTRS 8.4.2 危険対 8.4.3 危険対を用いたTRSの合流性判定 8.5 Knuth-Bendixの完備化手続き 8.6 KBの応用 8.6.1 帰納的な定理証明への応用 8.6.2 等号論理の定理証明への応用 8.7 まとめ 第9章 等式プログラミングから融合型プログラミングへ (富樫 敦) 9.1 はじめに 9.2 等式プログラミング 9.2.1 等式プログラム 9.2.2 代表的な等式プログラム 9.2.3 プログラミング技法 9.2.4 正則プログラムと正規化戦略 9.3 条件付き等式プログラム 9.3.1 条件付き書換え規則 9.3.2 条件の種類 9.3.3 利点と問題点 9.4 融合型プログラミング 9.4.1 AMLOGシステム 9.4.2 向付き等式 9.4.3 実行戦略の変更 9.4.4 代入操作 9.4.5 合流するプログラムへの変換 9.5 まとめ
