出展・パプリシティ等

◆情報処理学会 第60回プログラミング・シンポジウム(2019年1月11日16:40~21:00)ポスター&デモセッション

◆NT加賀(2018年12月15日~16日、アビオシティ)自由文思考プログラミングについて、45分✕10回程度のミニハンズオンを行います

◆MatchingHUB2018(11月2日、大きな反響をいただきました。11月6日、課題であったIFやWHILE等の制御構文の単体テスト(制御文のネストまで)を完了しました。オープンベータ版のgithubへの反映はまだです)

◆CEATEC JAPAN 2018(10月18・19日幕張メッセ/本格的論理プログラミング(再帰的三段論法、最新の事実や推論規則をネットから引用、再帰的合成、価値観、科学的/道徳的タブー、学際的な文脈や部分問題の管理、等)を教育現場(小学校3年生以上~営業・研究開発の大人)にてご採用頂くための展示とプレゼン)

◆石川県発明くふう展 2018(10月19~21日ISICO/「石川県工業試験場長賞」を頂きました)

◆金沢ものづくりアイディアコンテスト(10月20日ITビジネスプラザ武蔵/HUMANOTE初の機械学習機能(特許出願済)を発表しました)


◆JSSST日本ソフトウエア科学会第35回大会ポスター
&デモセッション/自由文思考プログラミングから汎用AIへ

◆eMesseKanazawa2018/しなやかな汎用AIプログラミング
◆eMesseKanazawa2017/タイマー起動による(日報やニュース等からの)提案やアラートの自動合成

◆第3回子供プログラミング・サミット(国立科学博物館)/LT「論理プログラミングのススメ」と先生方のためのワークショップ(2018.2)

◆NT金沢2018/LinkedOpenRPG(金沢からハワイへのデモと解説)

◆CivicTechContest2017(21世紀美術館)/LinkedOpenRPG
◆マイクロソフト・イノベーション・アワード2017(2018.2)/LinkedOpenRPG
◆マッシュアップ・アワード2017/LinkeOpenRPG
◆アーバンデータチャレンジ2017/LinkeOpenRPG
◆MatchingHUB2017/LinkedOpenRPG
◆大徳地区商工会主催「金沢が舞台のゲームにつなげて広げる」2017/LinkedOpenRPG
◆石川県発明くふう展2017/LinkedOpenRPG(奨励賞)

◆MatchingHUB2016/音声対話可能な推論型AIスピーカ
◆MatchingHUB2015/LinkedOpenRule(動的引用)による「AIの民主化」

◆北陸中日新聞・全国紙面「価値観をあつかえるAI」(2017.2.1)

◆粟ヶ崎ビジネスサロン(2017.4.27)/論理型AIによるアイディアの自動生成
◆金沢市主催こども論理プログラミング教室(ITビジネスプラザ武蔵)2016・7・26◇動画◇
◆KITハッカソンVol.4(2016.3.18)

◆石川県発明くふう展2016/音声対話可能な推論型AIスピーカ(入賞)
◆石川県発明くふう展2015/LinkedOpenRuleによる自由文ネット知識の実行時引用(AIの民主化、選外)
◆基本発明の国際特許出願(PCT/JP2014/005571)
◆基本発明の国内特許出願(特願2013-87008)
◆石川県発明くふう展2012/言葉で考えるコンピュータ(「自由文思考プログラミング」の誕生、選外)
◆東京コンテンツマーケット2005?/「言葉方程式」を用いた自由文データベース