年 〜
年

検索結果 18 件

代数的方法による論理学の新たな展開

代数的方法による論理学の新たな展開
紙図書
小野寛晰, 北陸先端科学技術大学院大学 [著][小野寛晰]2005-2007<Y151-H17540109>
国立国会図書館
  • 件名数理論理学 / 代数学 / universal algebra / 情報基礎 / 部分構造論理

分子の部分構造認識による多目的化学センサに関する研究

分子の部分構造認識による多目的化学センサに関する研究
紙図書
林健司, 九州大学 [著][林健司]2003-2004<Y151-H15550124>
国立国会図書館
  • 件名センサ / 分子認識 / 部分構造 / 味 / 匂い / 電気化学インピーダンス

構造システムの振動減衰性能のエネルギ-的評価法に関する基礎研究

構造システムの振動減衰性能のエネルギ-的評価法に関する基礎研究
紙図書
山口, 宏樹, 埼玉大学2000-2002<Y151-H12450180>
国立国会図書館
  • 件名構造システム 減衰 エネルギ-評価 部分構造法 斜張橋 2主桁橋 ERA

部分構造論理と代数構造

部分構造論理と代数構造
紙図書
小野寛晰, 北陸先端科学技術大学院大学 [著][小野寛晰]2001-2003<Y151-H13640109>
国立国会図書館
  • 件名部分構造論理 / 普遍代数 / 有限モデル性 / 多値論理 / ファ...

論理体系の意味論と文法的性質の関係

論理体系の意味論と文法的性質の関係
紙図書
桜井, 貴文, 千葉大学2000-2001<Y151-H12680329>
国立国会図書館
  • 件名様相部分構造命題論理 カツト除去 正規化 文法的性質 explicit ...

理論計算機科学における数理論理学の応用

理論計算機科学における数理論理学の応用
紙図書
小野, 寛晰, 北陸先端科学技術大学院大学1996-1997<Y151-H08680356>
国立国会図書館
  • 件名部分構造論理 様相論理 項書換え系 構成的数学

光学活性が異なるアミノ酸水溶液中の分子間水素結合構造

光学活性が異なるアミノ酸水溶液中の分子間水素結合構造
紙図書
亀田恭男, 山形大学 [著][亀田恭男]2004-2005<Y151-H16550049>
国立国会図書館
  • 件名光学活性 / アラニン分子 / 中性子回折 / 同位体置換法 / 分子間水素結合 / 部分構造因子 / X線回折 / 部分分布関数

部分構造論理の研究

部分構造論理の研究
紙図書
古森, 雄一, 千葉大学1998-1999<Y151-H10640103>
国立国会図書館
  • 件名部分構造論理 古典論理 直観主義論理 BCK論理 ラムダ計算 型理論

非標準論理研究の新しい展開

非標準論理研究の新しい展開
紙図書
小野, 寛晰, 北陸先端科学技術大学院大学1998-2000<Y151-H10440027>
国立国会図書館
  • 件名非標準論理 様相論理 部分構造論理 クリプキ完全性 ゲーム理論 自然演繹体系

複数の同一構造要素を有する構造物の振動性状と振動制御法に関する基礎研究

複数の同一構造要素を有する構造物の振動性状と振動制御法に関する基礎研究
紙図書
山口, 宏樹, 埼玉大学1998-1999<Y151-H10450170>
国立国会図書館
  • 件名パツシブ振動制御 部分構造連成 ケーブルシステム 振動減衰 吊形式橋梁 送電線

増分伝達剛性係数法による大規模非線形構造物の振動解析システムの開発

増分伝達剛性係数法による大規模非線形構造物の振動解析システムの開発
紙図書
近藤, 孝広, 九州大学1997-1998<Y151-H09650283>
国立国会図書館
  • 件名非線形振動 強制振動 多自由度系 回転体 安定判別 伝達剛性係数法 伝達影響係数法 部分構造合成法

精度の良い船体構造設計のための波浪荷重に関する研究

精度の良い船体構造設計のための波浪荷重に関する研究
紙図書
深沢, 塔一, 金沢工業大学1993-1994<Y151-H05650948>
国立国会図書館
  • 件名船体構造設計 波浪変動圧 疲労強度 部分構造モデル 不平衡力 境界条件

強力な水素結合を有する溶液系の微視的構造解析

強力な水素結合を有する溶液系の微視的構造解析
紙図書
亀田, 恭男, 山形大学1997-1998<Y151-H09640657>
国立国会図書館
  • 件名中性子回折 赤外吸収スペクトル 同位体置換法 分子間水素結合 差スペクトル法 部分構造因子 濃厚酸水溶液 O-D伸縮振動

部分構造合成法を援用した伝達影響係数法の高性能化に関する研究

部分構造合成法を援用した伝達影響係数法の高性能化に関する研究
紙図書
近藤, 孝広, 福岡工業大学1995-1996<Y151-H07650298>
国立国会図書館
  • 件名自由振動 強制振動 非線形振動 固有振動数 多自由度系 伝達剛性係数法 伝達影響係数法 部分構造合成法

部分構造合成法による内燃機関の振動と騒音の解析方法の開発

部分構造合成法による内燃機関の振動と騒音の解析方法の開発
紙図書
長松, 昭男, 東京工業大学1987-1988<Y151-S62460108>
国立国会図書館
  • 件名振動 騒音 内燃機関 部分構造合成法 モード解析

イオン性液体における金属-非金属転移と構造及びダイナミツクス

イオン性液体における金属-非金属転移と構造及びダイナミツクス
紙図書
武田, 信一, 九州大学1992-1993<Y151-H04640348>
国立国会図書館
  • 件名液体金属合金 部分構造 ダイナミツクス 溶融塩 相転移 超音波 イオン性液体 結合...

大規模架構を対象としたインテリジエント部分構造実験システムの開発

大規模架構を対象としたインテリジエント部分構造実験システムの開発
紙図書
大井, 謙一, 東京大学1992-1993<Y151-H04555138>
国立国会図書館
  • 件名部分構造載荷実験法 ハイブリツド解析 大規模架構 ニユーラルネツトワ...

自然言語の形式文法と意味論の数理モデル

自然言語の形式文法と意味論の数理モデル
デジタル文書・図像類
戸次, 大介, BEKKI, Daisuke国立大学法人お茶の水女子大学2012-032011-2012　研究紹介集（増補版）p.59-59
全国の図書館
  • 件名教育・教育学 自然言語 普遍文法 意味論 部分構造論理 非古典論理

検索結果は以上です。