タグ 形式化
人気順 10 users 50 users 100 users 500 users 1000 users哲学など数学以外のことは専門外のため, あくまで数学に関することだけ言及..
哲学など数学以外のことは専門外のため, あくまで数学に関することだけ言及させていただきます. ユークリッド幾何学に言及されているように数学の歴史は紀元前まで遡りますが, 数学の形式化が意識され始めたのは1900年代以降と最近の話です. 主にヒルベルトによって主導されたものだと私は理解しています. (もちろん多く... 続きを読む
死刑囚2人の死刑執行 異例の再審請求中の死刑執行 形式化する再審請求 死刑執行までの意外と知らない手続き、法律 - 桜咲き誇れ
2017 - 07 - 13 死刑囚2人の死刑執行 異例の再審請求中の死刑執行 形式化する再審請求 死刑執行までの意外と知らない手続き、法律 Tweet 本日、確定死刑囚2人が刑を執行されました。 headlines.yahoo.co.jp 今回の死刑執行は 再審請求中 のものだったということでも話題になりました。 そこで、再審請求中の死刑執行、死刑までの手続きなど、以外と知らない人も多いのではと... 続きを読む
暗黙知の形式化 - 気をつけないで済むように気をつける - Tbpgr Blog
2017 - 06 - 03 暗黙知の形式化 - 気をつけないで済むように気をつける 暗黙知 Sharain Tweet お題「Sharain」 私が気持ちではなく仕組みで解決することを判断する際の考えを形式化します。 手順 暗黙知 を書き出す 形式化可能な事例を抽出する 抽出した事例を抽象化する 抽象化した 形式知 を学習可能にする 詳しくは下記にまとめてあります。 tbpgr.hatenabl... 続きを読む
「被災地訪問が形式化」記事が出た日、両陛下は…:朝日新聞デジタル
■てんでんこ:皇室と震災1 東日本大震災から5年たった2016年3月17日。天皇、皇后両陛下は、3600人の犠牲者が出た宮城県石巻市を訪れた。 県水産会館で両陛下は、敷地内にある慰霊碑に歩み寄った。犠牲になった漁師のために、全国の漁業関係者からの義援金などで建てられたものだ。両陛下が碑に向かって拝礼すると、車道の向かい側に集まっていた約450人の住民も一緒に頭を下げた。多くが周囲に立ち並ぶ仮設住宅... 続きを読む
初心者でも小説のあらすじを作れるソフト、芝浦工大・米村俊一教授が開発 -INTERNET Watch
ニュース 初心者でも小説のあらすじを作れるソフト、芝浦工大・米村俊一教授が開発 (2015/12/17 13:23) 芝浦工業大学情報工学科の米村俊一教授は16日、初心者向けの小説創作支援ソフトウェアを開発したと発表した。 システムの操作画面と概要 作家の構成力や想像力に委ねられていた「物語の作成手法」を形式化することが近年、小説の創作現場において試みられているという。米村教授は2014年、認知心... 続きを読む
ネット規制解禁の前に「公示期間」という制度を再考すべきでは? | プリンストン発 新潮流アメリカ | コラム&ブログ | ニューズウィーク日本版 オフィシャルサイト
今回の衆院選では、改めてネットを使った選挙運動の早期解禁が求められているわけですが、日本の公職選挙法にある規制のおかげで選挙運動が形式化し、本質的な政策論議の「情報としての流通」が阻害されているという問題は、ネットの問題だけではないように思われます。 1つ問題提起をしたいのですが、日本の公職選挙法にある「公示期間」という制度については、根本から見直すべきと思うのです。 例えばテレビ番組における政策... 続きを読む