Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. Twitter
  3. がくし

がくし (@gaxiiiiiiiiiiii)

投稿一覧（最新100件）

2 0 0 0 OA 暗号安全性証明の確率Hoare 論理を用いた形式的検証

確率ホーア論理っていうらしい 暗号安全性証明の確率Hoare論理を用いた形式的検証 https://t.co/z64aWl7pQt

1 0 0 0 OA ISO/IEC 15408に基づく定理証明とモデル検査による情報セキュリティ仕様の検証技法

ISO/IEC 15408に基づく定理証明とモデル検査による https://t.co/aXvLuF8mX0

1 0 0 0 OA COE Research Monograph Series, Vol. 3 : オントロジーを用いた法的知識からの不整合の検出

こっちは、法律を論理プログラムに変換して、条例内の矛盾や循環参照を検知しよう、って論文。 オントロ ジーを用いた法的知識からの不整合の検出 https://t.co/CfGxKAwG2x

2 0 0 0 OA 法律知識の体系的定義としての法律オントロジー(<特集>開発されたオントロジー)

法律知識の体系的定義としての法律オントロジ一 https://t.co/fhEQnLC1gr

2 0 0 0 OA 論証ダイアグラムを用いた動的議論支援ツールの提案

@shogochiai 対話を数理議論学に落とし込むツールの研究開発を東工大でやってる（やってた？）みたいです。 https://t.co/9AXfEqNPyc

3 0 0 0 OA 法令工学の実践 国民年金法の述語論理による記述と検証

法令工学の実践　国民年金法の述語論理による記述と検 証 https://t.co/5vzCF2XH4U

1 0 0 0 OA COE Research Monograph Series, Vol. 3 : オントロジーを用いた法的知識からの不整合の検出

クソ面白そうな論文見つけた。法令を論理プログラムに書き下して法令間の不整合の検出をするっての、富山の条例を題材にやってるらしい。 オントロジーを用いた法的知識からの不整合の検出 https://t.co/CfGxKAwG2x

3 0 0 0 OA 法令工学の実践 国民年金法の述語論理による記述と検証

なんか、国からの予算が止まってんのか一連の研究が動いてんのか分かんないけど、リーダーとやらがやってたこの研究だけは慎ましく更新されてる。 https://t.co/uq9Q3KFLHG

66 0 0 0 OA COE Research Monograph Series, Vol. 2 : 法令工学の提案

この法令工学とやらが、とても気になってる。法をソフトウェアでいう仕様書と見立てて形式検証とかするやつらしい。 https://t.co/oJOqyEIWrm

2 0 0 0 OA 論証ダイアグラムを用いた動的議論支援ツールの提案

数理議論学に基づいて、形式化された議論を可視化するツールが研究されてるっぽい。 論証ダイアグラムを用いた動的議論支援ツールの提案 https://t.co/5jXTDNGW6n

1 0 0 0 OA 複雑な議論分析のための議論フレームワークの モジュール化

複雑な議論分析のための議論フレームワークのモジュール化 https://t.co/WlzAge7RDW

1 0 0 0 OA コミュニケーションの場の動的ゲーム論理

コミュニケーションの場の動的ゲーム論理 https://t.co/z8nnORyXnJ

1 0 0 0 OA エージェント・ベース・モデルによる討議と合意形成に関する分析

エージェント・ベースト・モデルの方法と 社会学におけるその展開 https://t.co/50zbPlQyQW

1 0 0 0 OA エージェント・ベースト・モデルの方法と社会学におけるその展開

エージェント・ベースト・モデルの方法と 社会学におけるその展開 https://t.co/MWv6rChlgT

2 0 0 0 OA 「法益」について

RT @gaxiiiiiiiiiiii: 取り敢えず拾いもん https://t.co/vRrKlm8Bqw

1 0 0 0 OA 筆記音のフィードバックが単純な筆記作業に及ぼす影響の検討

@momosuke4989 タイプ音じゃないですけど、筆記音に関してはポジティブな効果がある事が分かってるっぽいすね https://t.co/mcdHBIV6Zl

12 0 0 0 OA クリーニ代数入門

正規言語を公理的に扱うってんで、Coqにおあつらえ向きじゃね？ https://t.co/UHFz7RFKr1 https://t.co/nRIGPc1DF3

2 0 0 0 OA Mathematical Components入門

Mathmatical Components入門 https://t.co/wr7axL8NTJ

2 0 0 0 OA 「法益」について

取り敢えず拾いもん https://t.co/vRrKlm8Bqw

32 0 0 0 OA 主要国における緊急事態への対処 : 総合調査報告書

『憲法上の国家緊急権』（国会図書館） https://t.co/IJ7Kjl6mmV 主要国の制度の解説など。

3 0 0 0 OA お薬手帳の電子化促進に向けたデータ信用確保の提案

RT @iketalike_max: >Hyperledger Irohaのプライベートブロックチェーン まあ落としどころとしてはこんなところ感 J-STAGE Articles - お薬手帳の電子化促進に向けたデータ信用確保の提案 https://t.co/UbXIRK3j…

1 0 0 0 OA 損傷靭帯自己治癒メカニズムの解明

靭帯の自己治癒の仕組みってのは、詳しくわかってないらしい。コレ曰く、メカニカルストレス（多分関節動かして生じる圧）が、遺伝子発現に関与してるとか。 知らん単語が多くて全体的に自信ないけど、捻挫したら固定しておけ、って結論よく分かった。 https://t.co/SOdeZAVJKI

1 0 0 0 OA 形式手法を学び始めて思うことと,形式手法を広めるには

System TとSystem Fなる概念を学ぶと開眼出来るっぽい雰囲気 https://t.co/tRdZL42Lr5

6 0 0 0 OA グローバル経済危機と二つの資本主義論

資本主義では効率と安定を両立できないから経済危機を避けられない、ってのを説明する文書。 フリードマンとケインズの比較に始まり、そもそも貨幣とは投機的であるとの説明を経て、リーマンショックの解説に至る。 てんこ盛りな内容でクソ面白かった。 https://t.co/2mr9FKBEkd

6 0 0 0 OA グローバル経済危機と二つの資本主義論

@iibbee__ んー、、情報の洪水が。。 不純粋性とやらが分からないんで、取り敢えず見つけたコレを読んでました。分からずじまいですが、、 https://t.co/2mr9FKBEkd

2 0 0 0 OA ボールルームダンスの指導法に関する研究

─音楽の特徴を生かした即興的な交流を取り入れたボールルームダンス指導試案─https://t.co/J74G7CnAw3

お気に入り一覧（最新100件）

63 0 0 0 OA 木更津高専寮生の生活面・設備に対する意識調査と分析結果に関する一考察

木更津高専の例。どこも一緒なんすね。ちゃんと論文にしていてすごい https://t.co/XZe60eIiyy >学寮独自の挨拶や掃除に関わる慣習の見直しについては、平成 30 年度秋季リーダー研修会にて、これまでの前屈 90°姿勢を保持したままで全力で行う挨拶から、通常の形式の挨拶に変更することが了承された

フォロー（1505ユーザ）の投稿一覧（直近7日間）

フォロワー（997ユーザ）の投稿一覧（直近7日間）