モーダスポネンス - Wikipedia
モーダスポネンス（ラテン語: modus ponens、MP）とは、論理学における妥当で単純な「論証」である。ラテン語で「肯定によって肯定する様式」の意。前件肯定 (affirming the antecedent) または分離規則 (the law of detachment) とも呼ぶ。 形式的記法[編集] 推論の最も典型的な形式であり、一般に次のような形式である。 P ならば Q である。 P である。 従って、Q である。 論理演算の記法では次のようになる。 ここで、 は論理的帰結関係を表す。 モーダスポネンスを次のように表記する場合もある。 これらはいずれも前提条件が2つ存在する。第一の条件は条件文または論理包含演算であり、Q が P を包含することを示す。第二の条件は P であり、第一の条件の条件部分が真であることを主張している。これら2つの前提から論理的に Q が真であること
KJ法 - Wikipedia
Affinity wall ダイアグラム KJ法（KJほう）は、文化人類学者の川喜田二郎（東京工業大学名誉教授）がデータをまとめるために考案した手法である。KJは考案者のイニシャルに因む。 データをカードに記述し、カードをグループごとにまとめて、図解し、論文等にまとめていく。共同での作業にもよく用いられ、「創造性開発」（または創造的問題解決）に効果があるとされる。 概要[編集] 川喜田は文化人類学のフィールドワークを行った後で、集まった膨大な情報をいかにまとめるか、試行錯誤を行った結果、カードを使ってまとめていく方法を考え、KJ法と名付けた。またチームワークで研究を進めていくのに効果的な方法だと考え、研修方法をまとめ、『発想法』（中公新書、1966年）を刊行した。それ以降、川喜田が企業研修や琵琶湖移動大学などで指導を行い、普及を図った。 次第にKJ法の名称も一般化し、企業研修や学校教育、各
多摩市の京王電鉄独身寮を108室のシェア型賃貸住宅へ再生 -『シェアプレイス聖蹟桜ヶ丘』
京王線「聖蹟桜ヶ丘」駅を最寄りとした築51年の元独身寮を、新たにシェア型賃貸住宅『シェアプレイス聖蹟桜ヶ丘』として再生、2015年3月7日(土)に入居が開始される。 『シェアプレイス聖蹟桜ヶ丘』は、緑豊かな街である聖蹟桜ヶ丘に立地し、「木々と暮らす、シェア暮らし」がキーワードだ。本物件の最大の特徴は「空地率68%、1,000㎡を超える広々とした外構空間」。敷地内の植栽は既存樹木を活かすほか、四季の移ろいを感じることができる大小様々な樹木を植え、都心の一人暮らしではなかなか得ることのできない、木漏れ日の中で暮らすような日常を送ることができる計画となっている。 主な外構空間は、ウッドデッキの縁側テラスや、屋内のラウンジと一体的に利用できるアウトドアデッキのほか、屋上に日当たりのよいルーフテラスなど。建物の中だけでなく外部にも、入居者の気分・アイデアで色々な過ごし方ができるよう様々な居場所を設け
Software Engineering Body of Knowledge (SWEBOK)
Join one of two IEEE Computer Society Software Engineering Working Groups Redesigning the Professional Software Engineering Certification Program. https://www.computer.org/volunteering/boards-and-committees/professional-educational-activities/software-engineering-committee/swebok-evolution The Guide to the Software Engineering Body of Knowledge (SWEBOK) describes generally accepted knowledge about
改易 - Wikipedia
映画『元禄忠臣蔵』の場面。史実において松の廊下では、浅野長矩が吉良義央に、水野忠恒が毛利師就に、斬り掛かるという刃傷沙汰が起こっている。何れも大名が改易となった大事件であった。 改易（かいえき）は、江戸時代においては、武士に対して行われた士籍を剥奪する刑罰[1]。士分以上の者の社会的地位を落とす身分刑であるが、禄や拝領した家屋敷を没収されることから、財産刑でもあるとする見解もある[2][3][4]。また大名の所領を没収、減封、転封することを改易と呼ぶこともある。 概論[編集] 江戸時代中期の国学者谷川士清が表した『和訓栞』によれば、改易とは戸籍を取り上げることを意味していて（古代中国の律法より生まれた）賊盗律の移郷から発展したものであるとされ、平安時代の『続日本後紀』では改易は別の意味で使われており、後年出来た言葉だという[5]。 改易は「職を改め易（か）える」の意であり、もとは律令制度に
エンジニア専門職のグレードについて詳細な役割定義は必要か？ - Kentaro Kuribayashi's blog
様々な人々から、エンジニアに関する制度についてインタビューされる機会が増えてきた。その中で考えが整理されてきたパーツもあるので、せっかくなのでまとめておこうと思う。 ペバボのエンジニア職位制度のアップデートについてなどで書いている通り、ペパボはエンジニア専門職制度を制定し運用している。その前提として、専門職制度がどのような位置付けかというと、簡単に示すと以下の図の通りである。 この構造自体は特になんの変哲もない、わりと一般的な制度だといえるが、我々はこの中にひとひねり加えている。以下に説明する。 前提知識 ただし、その前に人事制度における前提的知識について述べておかないとならない。 社員格付け 昨今は「フラットな組織」「ネットワーク型組織」などというものも出てきているが、それはそれとして、一般に企業組織は、その構成員をなんらかの方法を用いて格付けしている。すぐに思い浮かぶのは、部長とか係長
地域おこし協力隊員の雇用打ち切り 秋田・上小阿仁村：朝日新聞デジタル
高齢者が多い秋田県上小阿仁村の八木沢集落で、昨年４月から集落支援にあたる「地域おこし協力隊」の男性（４９）に対し、同村は新年度の雇用を延長しないと通告したことが、１８日わかった。村内で活動する２０代の女性隊員は年度内で離任する意向を示しており、村は３月中に複数の地域おこし協力隊員を募集する方針だ。 同村総務課の小林隆課長は「住民から男性隊員の契約延長を望む声がなかった。トラブルがあったわけではないが、住民とうまく打ち解け合えなかったようだ。集落支援は必要なので、４月に間に合うように再募集したい」と話す。 男性は名古屋市出身で、赴任前は青年海外協力隊に参加したり、アルバイトをしながら陶芸活動をしたりしていた。八木沢集落では住民の通院介助や除雪の手伝いなどをしていた。男性は「３年間働くつもりだったが、『更新できない』と言われれば仕方ない」と話した。村からの通告後、仕事を探し、九州で再就職が内定
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ログミーBiz