哲学など数学以外のことは専門外のため, あくまで数学に関することだけ言及..

2024/02/16 135 users 言及 数学 哲学 数学以外 ヒルベルト

哲学など数学以外のことは専門外のため, あくまで数学に関することだけ言及させていただきます. ユークリッド幾何学に言及されているように数学の歴史は紀元前まで遡りますが, 数学の形式化が意識され始めたのは1900年代以降と最近の話です. 主にヒルベルトによって主導されたものだと私は理解しています. (もちろん多く... 続きを読む

死刑囚2人の死刑執行　異例の再審請求中の死刑執行　形式化する再審請求　死刑執行までの意外と知らない手続き、法律 - 桜咲き誇れ

2017/07/13 9 users 再審請求 死刑執行 死刑 再審請求中 法律

2017 - 07 - 13 死刑囚2人の死刑執行　異例の再審請求中の死刑執行　形式化する再審請求　死刑執行までの意外と知らない手続き、法律 Tweet 本日、確定死刑囚２人が刑を執行されました。 headlines.yahoo.co.jp 今回の死刑執行は 再審請求中 のものだったということでも話題になりました。 そこで、再審請求中の死刑執行、死刑までの手続きなど、以外と知らない人も多いのではと... 続きを読む

暗黙知の形式化 - 気をつけないで済むように気をつける - Tbpgr Blog

2017/06/03 16 users 暗黙知 Tbpgr Blog 手順 抽象化 形式知

2017 - 06 - 03 暗黙知の形式化 - 気をつけないで済むように気をつける 暗黙知 Sharain Tweet お題「Sharain」 私が気持ちではなく仕組みで解決することを判断する際の考えを形式化します。 手順 暗黙知 を書き出す 形式化可能な事例を抽出する 抽出した事例を抽象化する 抽象化した 形式知 を学習可能にする 詳しくは下記にまとめてあります。 tbpgr.hatenabl... 続きを読む

「被災地訪問が形式化」記事が出た日、両陛下は…：朝日新聞デジタル

2017/05/22 11 users 両陛下 朝日新聞デジタル 車道 被災地訪問 皇室

■てんでんこ：皇室と震災１ 東日本大震災から５年たった２０１６年３月１７日。天皇、皇后両陛下は、３６００人の犠牲者が出た宮城県石巻市を訪れた。 県水産会館で両陛下は、敷地内にある慰霊碑に歩み寄った。犠牲になった漁師のために、全国の漁業関係者からの義援金などで建てられたものだ。両陛下が碑に向かって拝礼すると、車道の向かい側に集まっていた約４５０人の住民も一緒に頭を下げた。多くが周囲に立ち並ぶ仮設住宅... 続きを読む

初心者でも小説のあらすじを作れるソフト、芝浦工大・米村俊一教授が開発 -INTERNET Watch

2015/12/17 26 users INTERNET Watch あらすじ 小説 米村俊一教授

ニュース 初心者でも小説のあらすじを作れるソフト、芝浦工大・米村俊一教授が開発 （2015/12/17 13:23） 芝浦工業大学情報工学科の米村俊一教授は16日、初心者向けの小説創作支援ソフトウェアを開発したと発表した。 システムの操作画面と概要 作家の構成力や想像力に委ねられていた「物語の作成手法」を形式化することが近年、小説の創作現場において試みられているという。米村教授は2014年、認知心... 続きを読む

ネット規制解禁の前に「公示期間」という制度を再考すべきでは？ | プリンストン発　新潮流アメリカ | コラム＆ブログ | ニューズウィーク日本版 オフィシャルサイト

2012/12/05 43 users オフィシャルサイト 政策論議 プリンストン発 新潮流アメリカ

今回の衆院選では、改めてネットを使った選挙運動の早期解禁が求められているわけですが、日本の公職選挙法にある規制のおかげで選挙運動が形式化し、本質的な政策論議の「情報としての流通」が阻害されているという問題は、ネットの問題だけではないように思われます。 １つ問題提起をしたいのですが、日本の公職選挙法にある「公示期間」という制度については、根本から見直すべきと思うのです。 例えばテレビ番組における政策... 続きを読む