
第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 まとめ

Permalink | 記事への反応(0) | 18:03

■「新しいプログラミング・パラダイム」の目次


第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 まとめ

Permalink | 記事への反応(0) | 18:01

2010-11-27

■[学閥]

三越が脱●●閥に一歩踏み出したのが２００５年。

５月の株主総会で、東大出身の石塚邦雄氏（５８）が社長に就任した。

　前社長の中村胤夫氏が「人物本位で選んだ」のが、●●閥とは無縁の石塚氏だった。

●●大以外の出身者が社長になるのは、

三越１００年の歴史のなかで初めて。

http://ameblo.jp/baywing/entry-10172322626.html

父親は関西大学を卒業してカネボウに入社したが、

●●閥の会社だったため出世できず、

そのため秀樹の母は子供たちに学歴の重要性を叩き込んだ

http://ja.wikipedia.org/wiki/%E5%92%8C%E7%94%B0%E7%A7%80%E6%A8%B9

キヤノンとカネボウ

なぜ明暗を分けたのか。カネボウに23年、キヤノンに10年。内側から見た企業文化。

http://www.shinchosha.co.jp/book/610153/

hiog: 横田好太郎「キヤノンとカネボウ」新潮新書

http://hiog.seesaa.net/article/22987579.html

p44.「●●閥」が露骨で、私の在職中の5人の社長は全員●●出身でした。

彼らの訓示には福沢諭吉や小泉信三が引用されますが、

早稲田を作った大隈重信や同志社の新島襄などは一度も出てきません。

●●「●●会」の理事の選挙シーズンになると、

人事部が主導して●●出の社員の票集めが行われているほどでした

【衝撃の結末】カネボウ粉飾2000億円・旧経営陣を刑事告発へ　昨年までの監査は中央青山監査法人

http://news18.2ch.net/test/read.cgi/bizplus/1113335562/

http://anond.hatelabo.jp/20101127140537

http://anond.hatelabo.jp/20110107214632

http://mimizun.com/log/2ch/employee/1190566527/

http://unkar.org/r/recruit/1190546787#l83

Permalink | 記事への反応(0) | 15:42

2010-11-20

■最近の政治がクソ過ぎるので

来月で25歳になって、被選挙権を得る俺が本気で日本を立て直すための戦略を考えてみた。

～経済・財政～

・法人税減税。

・消費税増税。どう考えても仕分けや埋蔵金みたいな小手先の策で対応できるとは思えないので、

国民に情報開示して理解を求める。段階的に引き上げ。

・札証、名証、福証等の地方取引所、東工取、東穀取のような商品取引所を大証に統合。

大企業中心の東証に対する、地方、新興、商品主体の取引所に再編。

・電波オークションをやる。

・労働者派遣の緩和及び解雇規制の緩和

・製造業の大規模投資の税制優遇。韓国台湾のハイテク産業に対抗する。

・林業の近代化。林道整備、機械化、製材所、流通経路を含めた改革のバックアップ。

・漁業の近代化。ノルウェーみたいなのを目指す。

～外交・安全保障等～

・麻生政権時の自由と繁栄の弧戦略を継承

・本気で中国と対峙するために国境問題にけりをつける。

北方領土は2島返還で手打ち。経済水域は割と広いので名を捨てて実を取る。北の備えを南西にシフト。

・本気で常任理事国を目指す。新興国にインフラ売り込みをがんばる。

・FTAの推進。同時に利権の温床になっている中小農家の淘汰してJAを解体。専業農家、企業参入を優遇。商品作物輸出を図る。

・ミサイル防衛の推進。

・核武装はしない。維持費用がヤバイのと、不謹慎な話だけど世界で唯一の被爆国という立場を外交に生かすため。

・次期主力戦闘機はF-35を買う。三菱にはT-4後継の練習機の生産で仕事を維持。同時にこっそりF-3開発推進。

・F-35はVTOL型を購入して、いざとなったらDDHを軽空母にするぞというポーズを取る。

アメリカ空母で着陸訓練をさせてもらう。ただし、本気でやばくならない限り軽空母保有はしない。

お金がかかるし。抑止力になればOK。

・普天間基地の下地島移設。基地問題と防衛力維持の両立を図る。

・陸自のヘリの国産化。UH-X、AH-XはOH-1ベース。がんばれ川崎。

・陸自の古い装甲車を更新してあげる

・海上保安庁の予算をふやす

～医療・福祉～

・若年層が高齢者を支える仕組みは限界だと思うので、同世代内の相互扶助の仕組みみたいなのができないか考えてみる。

同世代の富裕層→貧困層の所得転移みたいなので。

・少子化なのに小児科医、産科医の不足、保育所の不足。よくわからないので詳しい人に頼む。

・子ども手当をやめて教育バウチャー。

～交通・国土開発～

国家の発展に必要な公共事業は惜しみなく行う。

具体的には、

・羽田空港の拡張と横田空域返還交渉推進で羽田ハブ化。

・首都圏高速道路網(圏央道、外環道、中央環状道)の整備。渋滞の緩和

・中央リニアの建設推進

・中央リニア完成と同時に伊丹空港を縮小してビジネスジェットの拠点に改装。国内線は関空に。

・なにわ筋線を建設して関空アクセスの改善。関空を西日本のハブ化。

・北海道新幹線、北陸新幹線の建設推進。

北陸は名古屋とのアクセスを考慮して米原ルート。リニアがあれば東海道のキャパも問題なし。

・ハブ港湾は地理的に有利な北部九州を推進。

～科学 技術・環境など～

・太陽光発電とかのいわゆるクリーンエネルギーの開発は、

石油・天然ガスの中東依存脱却と、製造業の競争力強化の観点で考える。

鳩山前総理みたいなセンチメンタルな感情は捨てる。

・地球環境変動のメカニズムを研究するための衛星、スーパーコンピュータ予算を増やす。

・ただし京速計算機みたいな無駄遣いはしない。東工大のTSUBAMEみたいな効率的なヤツをたくさん作る。

・安全保障と絡めて、早期警戒衛星の開発。ミサイル防衛の強化と宇宙開発の官需を作る。

・というか、有人宇宙開発やろうぜ。

・大規模な風洞実験室を北海道に整備。航空宇宙産業の強化と、地方振興を同時に図る。

・これらの財源は、排出権取引みたいな馬鹿らしい枠組みから離脱して捻出。

・レアアース代替材料の開発推進。

・広い領海を生かして海洋資源の調査推進。

～その他～

・まともなNPO/NGOが活躍できる仕組み作り。昔バイトしたときの経験から考えて、

名誉欲の強い定年退職じじいや、勘違い主婦、自分探しの若者しかいないのが原因。

まじめな失業者や無職がNPO/NGOに参加していると職歴として認知されるような空気を作る。

最近警察がやってる路上駐車の取り締まりや、飲酒運転の罰則強化なみにしつこく政府広報すれば空気は変わる。

解雇規制の緩和するからには引き替えになる政策が必要だし、起業の増加につながるかもしれない。

・選挙区の一票の格差是正。都市部や若年層に不利すぎる現状を打開する。

・マスコミの腐敗をつぶすために記者クラブを解散させる。

新聞社、テレビ局以外の新規参入を歓迎する。

・官僚に政策を丸投げせずに党でシンクタンクを保有して政策立案能力を高める。

働き口の少ない文系ドクターの受け皿になって、ドクターの雇用問題を考えてますよアピール。

以上、長文失礼。

Permalink | 記事への反応(1) | 02:06

2010-09-10

■

1 -主文本件上告を棄却する。理由弁護人弘中惇一郎ほかの上告趣意のうち，判例違反をいう点は，事案を異にする判例を引用するものであって，本件に適切でなく，その余は，憲法違反をいう点を含め，実質は事実誤認，単なる法令違反の主張であって，刑訴法４０５条の上告理由に当たらない。所論にかんがみ，第１審判決判示第１の受託収賄罪の成否について，職権で判断する。１原判決及びその是認する第１審判決の認定並びに記録によれば，本件の事実関係は以下のとおりである。(1)北海道開発庁は，北海道総合開発計画について調査し，及び立案し，並びにこれに基づく事業の実施に関する事務の調整及び推進にあたること等を所掌事務とし，その権限の行使は，その所掌事務の範囲内で法律に従ってなされなければならないとされていた（平成１１年法律第１０２号による改正前の北海道開発法５条１項）。そして，その長である北海道開発庁長官は，北海道開発庁の事務を統括し，職員の服務を統督する権限を有していた（平成１１年法律第９０号による改正前の国家行政組織法１０条）。(2)北海道開発局は，北海道開発庁の地方支分部局として設置され（上記北海道開発法９条），開発建設部は北海道開発局の所掌事務の一部を地域ごとに分掌しており（１２条１項），北海道開発局及び各開発建設部は北海道開発庁の下部組織といえるが，北海道開発局は，北海道開発庁の事務を分掌するほか，北海道総合開- 2 -発計画に基づく北海道における公共事業費の支弁に係る国の直轄事業で，農林水産省，運輸省及び建設省の所掌するものの実施に関する事務を所掌しており（１０条１項１号），その直轄事業の実施事務に関しては，当該事務に関する主務大臣のみが北海道開発局長を指揮監督できるとされているため（１０条２項），北海道開発庁長官にはこれに関する指揮監督権限がなかった。(3)北海道総合開発計画に基づく港湾工事（漁港工事も含む。以下同じ。）は，上記直轄事業であって，北海道開発庁長官は，その実施に関する指揮監督権限を有しなかったけれども，予算の実施計画を作製して大蔵大臣の承認を経ることとされていたため（平成１１年法律第１６０号による改正前の財政法３４条の２第１項），それに先立って，北海道開発庁，北海道開発局，同局の各開発建設部等は協議を行い，工事の施設，内容，規模，見積額，期間，発注の時期などを内容とする実施計画案を策定していた。したがって，北海道開発庁長官は，予算の実施計画作製事務を統括する権限に基づいて，港湾工事の実施計画案の策定に関し，職員を指導することができる地位にあった。本件当時，予算実施計画案の策定過程においては，競争入札が予定される工事について，落札すべき工事業者を北海道開発局港湾部長が指名して各開発建設部の職員を介して業者側に通知することが常態化しており，この通知を受けた業者らにより，入札金額の調整を伴う談合が行われていた。(4)被告人は，平成９年９月１１日から北海道開発庁長官に就任し，その在任中である同年１０月から平成１０年１月までの間に，Ａ建設株式会社の代表取締役らから，北海道総合開発計画に基づいて北海道開発局の開発建設部が発注する予定の港湾工事について，予算の実施計画案の策定作業が行われている段階から，Ａ建- 3 -設が受注できるように北海道開発局港湾部長に指示するなど便宜な取り計らいをされたい旨の請託を受け，北海道開発庁長官室に上記港湾部長を呼び出して，予定される工事の表を提出させるなどした上で，Ａ建設が特定の工事を落札できるように便宜を図ることを求め，平成９年１０月から平成１０年８月までの間，４回にわたり，その報酬として合計６００万円の現金の供与を受けた。２以上の事実関係の下において，北海道開発庁長官である被告人が，港湾工事の受注に関し特定業者の便宜を図るように北海道開発局港湾部長に働き掛ける行為は，職員に対する服務統督権限を背景に，予算の実施計画作製事務を統括する職務権限を利用して，職員に対する指導の形を借りて行われたものであり，また，被告人には港湾工事の実施に関する指揮監督権限はないとしても，その働き掛けた内容は，予算の実施計画において概要が決定される港湾工事について競争入札を待たずに工事請負契約の相手方である工事業者を事実上決定するものであって，このような働き掛けが金銭を対価に行われることは，北海道開発庁長官の本来的職務として行われる予算の実施計画作製の公正及びその公正に対する社会の信頼を損なうものである。したがって，上記働き掛けは，北海道開発庁長官の職務に密接な関係のある行為というべきである。なお，所論は，談合にかかわる行為は正当な職務としておよそ行い得ない違法な類型の行為であるから，職務に密接な関係のある行為とはなり得ない旨主張するが，当該行為が密接関係行為に当たるかどうかは上記のように本来の職務との関係から判断されるべきものであり，その行為が所論のいうような違法な行為であることによってその判断は直ちには左右されないと解するのが相当である。また，所論は，受注業者の指名が港湾部長の職務権限に属することを認定することなく，上記指名について港湾部長を指導することが北海道開発庁長官の- 4 -職務権限に属するとした原判断が当裁判所の判例（最高裁昭和６２年（あ）第１３５１号平成７年２月２２日大法廷判決・刑集４９巻２号１頁）に違反する旨を主張するが，収賄罪の構成要件である「職務に関し」は，当該収賄公務員の職務との関連性であって，本件のように，他の公務員に働き掛けることの請託を受けて収賄した場合であっても，働き掛けを受ける他の公務員の職務との関連性は構成要件そのものではないのであるから，一般的には，その職務関連性をそれ自体として認定する必要はないものというべきである。そうすると，上記働き掛けを行うよう請託を受け，その報酬として金銭の供与を受けた行為が受託収賄罪に当たるとした原判断は正当である。よって，刑訴法４１４条，３８６条１項３号により，裁判官全員一致の意見で，主文のとおり決定する。なお，裁判官金築誠志の補足意見がある。裁判官金築誠志の補足意見は，次のとおりである。私は，法廷意見に賛成するものであるが，所論にかんがみ，第１審判決判示第１の受託収賄罪における北海道開発庁長官の職務権限につき，若干の意見を補足的に述べておくこととする。所論は，上記のとおり判例違反を主張するが，所論引用の判例は，内閣総理大臣の職務権限に関するものであるところ，内閣総理大臣については，直接に行政事務を行うことを認めるのは相当ではないとする見解が有力であり，その指揮監督権限は行政全般にわたる反面，極めて一般性・抽象性が高いから，働き掛けを受ける公務員の職務関連性を認定することにより，ひいて内閣総理大臣の職務権限を認定せざるを得ない面があるのであって，これを一般化することは相当でない。もっとも，働き掛けた事項が他の公務員の職務と無関係なものであれば，働き掛ける行為- 5 -に職務関連性を認めることが困難となろうが，働き掛けを受ける公務員について，収賄公務員の職務関連性以上のものが要求されると解すべきではないから，少なくとも働き掛けを受ける事項と職務との間に密接な関係があれば足りると解すべきである。港湾部長は，港湾工事の計画作製・実施に関して職務権限を有する者として，慣行的，常態的に本命業者の指名を行っていたのであるから，組織的に事実上職務行為化した行為とも評価できるというべきであり，これが港湾部長の職務と密接な関係を有する行為であることは明らかである。所論は，官製談合における本命業者の指名は，正当な職務としておよそ行い得ない類型の行為であるから，収賄罪における職務にはなり得ない旨主張するが，収賄罪における職務が適法なものに限られないことは加重収賄罪の存在からも明らかである上，慣行化した官製談合の違法性及びそれによる信頼毀損と，そうした慣行を利用して賄賂を収受することの違法性及びそれによる職務の公正に対する信頼毀損とは，別個の評価が可能なものであって，上記のような行為に関して賄賂を収受することが，職務の公正に対する信頼を害する程度が低いとは到底いえないから，所論の点をもって，職務密接関係性を否定することは相当ではない。(裁判長裁判官金築誠志裁判官宮川光治裁判官櫻井龍子裁判官横田尤孝裁判官白木勇）

--------------------------------------------------------------------------------

Permalink | 記事への反応(0) | 10:12

2010-06-02

■まとめてお返事。

ちょっと思ったことに反応頂いて

なるほどーと思ってます。

色々他の記事もググってすこしずつ問題が複雑なんだなあというのがわかってきました。

増田、勉強になる！ありがとうございました。

http://anond.hatelabo.jp/20100602123448

まあ、嫌なのは分かるのだけれど（横須賀や横田しか知りませんが）

治安が悪いのが問題なのだとしたら、どうすれば治安が良くなるか？

について対策を取るべきだなあと思うんです。

それは沖縄とか基地のある地域の人が頑張るんじゃなくて国会の人達が。

どうして問題解決方法が移転ばかりで、中の人のルールを変更するように陳情しないのか不思議。

実際京急線とかで横須賀の基地の人見かけると、マナーが悪いですよね。

アメリカ（のみならず他の国でも）行くとマナー悪いのが当たり前な感じありましたけど

日本のルールが守れない軍の人が簡単に市街地に出て来られているこの状況を改めればいいのに。

そうすれば基地に対する嫌悪感も少なくなるだろうし、自分の家の直ぐ傍に基地が来てもＯＫな人も増えるんじゃないかなと。

基地に行くとたまに面白い形の飛行機が飛んでいて、基地うるさいけど面白いなーという感想でした。

基地の問題点というのがあまり見えてこなかったのです。もうすこしリストアップして一つ一つに対策をとればいいのに

騒音公害で苦しんでる人の為に、もっと騒音を防ぐ為に出来る策を考えるとか。そういう細かいことに対する対策はもう取り尽くしてりのでしょうか？

ただ移転するっていうのは、根本的な解決になってないなー。

http://anond.hatelabo.jp/20100602124021

極端な人や計算でやってるような人もいるんですね。

よくわからないんですが、「プロ市民」っていう人たちですか？

うーん、なんか変な感じ。

http://anond.hatelabo.jp/20100602124027

ああ7割もあるんですよね。すっかり忘れてました。

軍事の事はさっぱりわからないんですが、集中させておいた方が連携とりやすいという気もしてました

もしそうでないとしたら沖縄の人から見たら分散させてほしいですよね。

でもそれなら具体的な移転位置を沖縄の人が分析して提案するっていうのは難しいんでしょうか。

なんか市民運動、追い出し運動ばかりで、発展性がないなと。

で、やっぱり沖縄が独立したら反対に基地を動かすな、ってことになるのかなーと。

Permalink | 記事への反応(1) | 13:05

2010-05-20

■http://mainichi.jp/select/seiji/futenma/news/20100520k0000m010128000c.html?inb=ra

普天間移設：徳之島受け入れ７条件「すべてのむ」官房長官
　米軍普天間飛行場（沖縄県宜野湾市）の移設問題に絡み、平野博文官房長官が１６日に鹿児島県・徳之島の移設賛成派の住民と鹿児島市で会談した際、徳之島３町の借金（公債）の棒引きなど、住民側が示した移設受け入れの７条件にすべて応じる意向を示したことが１９日、明らかになった。米海兵隊ヘリ部隊の一部か訓練の移転先に徳之島を検討する政府に対し、地元３町長は交渉を拒否している。大胆な地域振興策で事態の打開を図るのが狙いとみられるが、「カネ」と引き換えに米軍の受け入れを迫る交渉手法に批判も出そうだ。
　１６日朝、鹿児島市内のホテルのスイートルーム。平野氏は移設賛成派の住民１４人と会談し、移設受け入れに向けた７項目の要望を記した紙を受け取った。一通り目を通した平野氏は移設と振興策は別だが、７項目はすべてのむ」と言い切った。
　ペーパーに記された７項目は（１）徳之島３町合計で約２５０億円の借金（公債）棒引き（２）航路・航空運賃を沖縄並みに抑制（３）燃料価格を沖縄・本土並みに引き下げ（４）沖縄県が対象の黒糖製造工場への交付金を鹿児島県にも適用（５）医療・福祉・経済特区の新設（健康保険税の免除）（６）奄美群島振興開発特別措置法の所管省庁を国土交通省から内閣府へ移す（７）看護学校、専門学校の設置－－だった。
　平野氏は会談で、奄美群島向けの１０年度政府予算（奄美群島振興開発事業予算）が前年度比２９％の大幅減となったことを謝罪、来年度予算編成での対応を約束した。徳之島へのドクターヘリ配備にも言及し、今後、徳之島の地元３町長や伊藤祐一郎県知事と振興策を詰める意向も示したという。
　なりふり構わぬ平野氏の姿勢には、徳之島にこだわる政府側の焦りがにじむ。普天間移設を巡り、政府側は基地機能や訓練の一部を全国の自衛隊基地に移転することを検討。しかし、沖縄から日帰りできる県外の訓練候補地は、徳之島以外にない。海兵隊を沖縄に常駐させながら訓練ができる徳之島の受け入れなしに、政府案は成り立たないのだ。
　会談の最後、平野氏は会談内容について出席者に固く口止めし、住民側は記者団に平野氏から振興策の話はなかったと口をそろえた。一方、出席者の一人は会談後、平野氏の「丸のみ」発言を徳之島の町長らに伝達。「微妙な変化が島にも出てきた」と賛成論の広がりに期待するが、３町長が交渉のテーブルに着く見通しは立っていない。【横田愛】

当時の自民党の移設交渉を「札びらで頬をひっぱたくような」とさんざん批判しておいてこのザマか。

Permalink | 記事への反応(0) | 04:36

2010-03-08

■

【韓国人/国際テロ】米企業『テロ参加表明した個人ブログのリスト』などFBIに提出 ★21 [10/03/05]

ttp://yutori7.2ch.net/test/read.cgi/news4plus/1267908521/

703 ：（´・ω・｀）（｀ハ´　）さん：2010/03/07(日) 10:49:36 ID:mGl1akzI
»667
　知人で父親が米兵の人に聴いたのですが、何か日本人勘違いしていないかと感想を言われました。ｗ
　サイバーテロは911 テロより軽いと思ってないかとのことでした、おまけに中西部一体で今医療機関関係を調査しているそうです。
　病院が保険会社の加入記録にアクセスできなかった事例があったので、死亡者や処置の遅れなどがなかったかを調査してるそうですね。

712 ：エラ通信@226を切望 ◆0/aze39TU2 ：2010/03/07(日) 10:52:15 ID:m4uTGv3Q
»703
!! kwsk!!

738 ：（´・ω・｀）（｀ハ´　）さん：2010/03/07(日) 11:02:16 ID:mGl1akzI
»712
　聴いたことでしかわからないのですが、民間救急車の利用を断られたりしたり患者移送用航空機で民間のが直前の支払いのための民間医療保険会社への決済確認に遅れが出てたのだそうで、急遽横田に来るはずの医療飛行機を転送に使って来なかったりしてたそうです。
　友人は通販で買ったのが届かないって怒ってたのみると軍が外部に依頼してる飛行機も遅れたように感じたのですが・・・。

763 ：（´・ω・｀）（｀ハ´　）さん：2010/03/07(日) 11:08:48 ID:Yr43nWAP
»738
追加させて頂きました。情報ありがとうございます。

◆今回の「米韓サイバーテロ」の問題点

・PIE社の業務に著しい影響を及ぼし、2億円以上の実害を発生させた
・サイバーテロにおいても人海戦術が極めて有効であることを実証してみせた
・米軍及びFRB（連邦準備銀行）のサーバーにダメージを与え、アメリカの国防に深刻な影響を及ぼした
・医療関連やチリ地震安否確認サイトなど、人命に関わるインフラに影響を及ぼした可能性も ← new!
・クラウドコンピューティングの脆弱性を露呈させ、ビジネスモデルにダメージを与えた
・一部とはいえ万単位の韓国国民が、他国には理解不能な理由で、大規模なサイバーテロ行為に及んだ
・日本からも攻撃が行われた可能性大。日韓どちらも同盟国であり、アメリカにしてみれば獅子身中の虫状態

766 ：（´・ω・｀）（｀ハ´　）さん：2010/03/07(日) 11:09:13 ID:2QsTi4mZ
»738
なんか米国では日常茶飯事のような気もしないでもないけど
当事者の方達にとっては死活問題ですからねー。

特に医療＆保険関係では
致命的な事態を引き起こしかねないですし。
つか…下手すると２～３件の事故だけで
億単位の賠償金請求が来ちゃうかもねー。

796 ：愚真礼賛 ◆wolf/139Q6 ：2010/03/07(日) 11:13:59 ID:fYoBZ541 ?PLT(14445)
»738
そういう点でも軍に影響あたえれちゃうってのになっちゃうと、後方支援への遅滞工作とかってことで今後の軍事作戦時への影響とか考えるとほっとけないだろうなぁ

まぁ、軍事作戦時には優先されて被害おきないかもしれないけど

Permalink | 記事への反応(0) | 20:29

「横田」を含む日記

■北朝鮮拉致問題の真相

■北朝鮮拉致問題の真相

■救う会は統一教会の出先機関

■北朝鮮拉致問題の真相

■北朝鮮拉致問題の真相

■曽我親子は宗教対立またはDVによる家出＝離婚

■北朝鮮拉致問題の真相

■北朝鮮拉致問題「オールジャパンで解決を」

■横田恵のケース

■演説下手の安倍では無理だわな・・カリスマ性がない・・

■演説下手の安倍では無理だわな・・カリスマ性がない・・

■思春期の娘が素直に従うと思う？異性交遊禁止だぞ？

黄色の横田よ

赤の千種よ

青の飛鳥よ

白の北斗よ

紫の中野よ

■拉致問題の真相

■横田めぐみ一人の為に日本を破壊するのか？

■拉致問題の真相

■救う会なんかもろ統一だぞ？

■「続 新しいプログラミング・パラダイム」の目次

■「新しいプログラミング・パラダイム」の目次

■[学閥]

■最近の政治がクソ過ぎるので

～経済・財政～

～外交・安全保障等～

～医療・福祉～

～交通・国土開発～

～科学技術・環境など～

～その他～

■まとめてお返事。

普天間移設：徳之島受け入れ７条件「すべてのむ」官房長官

■「続新しいプログラミング・パラダイム」の目次