• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

線形変換とメモリを用いた論理合成に関する研究

研究課題

研究課題/領域番号 23300016
研究種目

基盤研究(B)

配分区分補助金
応募区分一般
研究分野 計算機システム・ネットワーク
研究機関明治大学 (2013)
九州工業大学 (2011-2012)

研究代表者

笹尾 勤  明治大学, 理工学部, 教授 (20112013)

連携研究者 井口 幸洋   (60201307)
研究協力者 BUTLER JON T  
研究期間 (年度) 2011-04-01 – 2014-03-31
研究課題ステータス 完了 (2013年度)
配分額 *注記
9,100千円 (直接経費: 7,000千円、間接経費: 2,100千円)
2013年度: 2,210千円 (直接経費: 1,700千円、間接経費: 510千円)
2012年度: 2,600千円 (直接経費: 2,000千円、間接経費: 600千円)
2011年度: 4,290千円 (直接経費: 3,300千円、間接経費: 990千円)
キーワード線形変換 / 関数分解 / 不完全定義関数 / CAM(連想メモリ) / インデックス生成関数 / コンピュータウイルス検出 / パターンマッチング / 国際研究者交流, / 米国 / 線形関数 / CAM(連想メモリ) / CAM(連想メモリ)
研究概要

インターネット用のルータやコンピュータウイルス検出装置では、高速にパターンマッチングする必要がある。また、パターンの変更も頻繁に生ずる。従来は、この操作をCAM(Content Addressable Memroy)を用いた実行していたが、CAMは、消費電力が大きく大規模な回路も作りにくかった。本研究では、インデックス生成関数を線形関数と非線形関数に分解し、非線形回関数の部分をメモリで実現し、その変数の個数を削減する手法を開発した。これにより、大規模なパターンマッチング回路が汎用メモリで実現可能となった。

報告書

(4件)
  • 2013 実績報告書   研究成果報告書 ( PDF )
  • 2012 実績報告書
  • 2011 実績報告書
  • 研究成果

    (66件)

すべて 2014 2013 2012 2011 その他

すべて 雑誌論文 (11件) (うち査読あり 2件) 学会発表 (50件) (うち招待講演 2件) 図書 (1件) 備考 (4件)

  • [雑誌論文] EVMDD-Based analysis and diagnosis methods of multi-state systems with multi-state components2014

    • 著者名/発表者名
      S. Nagayama, T. Sasao and J. T. Butler
    • 雑誌名

      Journal of Multiple-Valued Logic and Soft Computing

      巻: Vol. 22, No.1-2 ページ: 59-78

    • URL

      http://www.lsi-cad.com/sasao/Papers/pub2014.html

    • 関連する報告書
      2013 研究成果報告書
  • [雑誌論文] A virus scanning engine using an MPU and an IGU based on row-shift decomposition2013

    • 著者名/発表者名
      H. Nakahara, T. Sasao, and M. Matsuura
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: Vol.E96-D, No.8 ページ: 1667-1675

    • NAID

      130003370948

    • URL

      http://www.lsi-cad.com/sasao/Papers/pub2013.html

    • 関連する報告書
      2013 実績報告書 2013 研究成果報告書
  • [雑誌論文] On the number of products in prefix SOPs for interval functions2013

    • 著者名/発表者名
      I. Syafalni and T. Sasao
    • 雑誌名

      IEICE Trans. on Information and Systems

      巻: Vol. E96-D, No.5 ページ: 1086-1094

    • NAID

      10031193961

    • URL

      http://www.lsi-cad.com/sasao/Papers/pub2013.html

    • 関連する報告書
      2013 実績報告書 2013 研究成果報告書
  • [雑誌論文] Multiple-valued index generation functions : Reduction of variables by linear transformation2013

    • 著者名/発表者名
      T. Sasao
    • 雑誌名

      Journal of Multiple-Valued Logic and Soft Computing

      巻: Vol. 21, No.5-6 ページ: 541-559

    • URL

      http://www.lsi-cad.com/sasao/Papers/pub2013.html

    • 関連する報告書
      2013 研究成果報告書
  • [雑誌論文] パターンマッチング用プログラマブル論理回路とその設計法2013

    • 著者名/発表者名
      笹尾勤
    • 雑誌名

      電子情報通信学会誌

      巻: Vol.96, No.2 ページ: 100-104

    • NAID

      110009586282

    • URL

      http://www.lsi-cad.com/sasao/Papers/pub2013.html

    • 関連する報告書
      2013 研究成果報告書 2012 実績報告書
  • [雑誌論文] Multiple-valued index generation functions: Reduction of variables by linear transformation2013

    • 著者名/発表者名
      T. Sasao
    • 雑誌名

      Journal of Multiple-Valued Logic and Soft Computing

      巻: 21 ページ: 541-559

    • 関連する報告書
      2013 実績報告書
    • 査読あり
  • [雑誌論文] A Regular expression matching circuit : Decomposed non-deterministic realization with prefix sharing and multi-character transition2012

    • 著者名/発表者名
      H. Nakahara, T. Sasao, and M. Matsuura
    • 雑誌名

      Microprocessors and Microsystems

      巻: Vol. 36 号: 8 ページ: 644-664

    • DOI

      10.1016/j.micpro.2012.05.009

    • 関連する報告書
      2013 研究成果報告書
  • [雑誌論文] A Comparison of multi-valued and heterogeneous decision diagram machines2012

    • 著者名/発表者名
      H. Nakahara, T. Sasao and M. Matsuura
    • 雑誌名

      Journal of Multiple-Valued Logic and Soft Computing

      巻: Vol. 19, No.1-3 ページ: 203-217

    • URL

      http://www.lsi-cad.com/sasao/Papers/pub2012.html

    • 関連する報告書
      2013 研究成果報告書 2012 実績報告書
  • [雑誌論文] A design method of a regular expression matching circuit based on decomposed automaton2012

    • 著者名/発表者名
      H. Nakahara, T. Sasao, and M. Matsuura
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: Vol. E95-D, No.2 ページ: 364-373

    • NAID

      10030610597

    • URL

      http://www.lsi-cad.com/sasao/Papers/pub2012.html

    • 関連する報告書
      2013 研究成果報告書 2011 実績報告書
  • [雑誌論文] A Regular expression matching circuit: Decomposed non-deterministic realization with prefix sharing and multi-character transition2012

    • 著者名/発表者名
      H. Nakahara, T. Sasao, and M. Matsuura
    • 雑誌名

      Microprocessors and Microsystems

      巻: 36 ページ: 644-664

    • 関連する報告書
      2012 実績報告書
    • 査読あり
  • [雑誌論文] A fast segmentation algorithm for piecewise polynomial numeric function generators2011

    • 著者名/発表者名
      J.T. Butler, C. L. Frenzen, N. Macaria, and T. Sasao
    • 雑誌名

      Journal of Computational and Applied Mathematics

      巻: Vol. 235, Issue14 号: 14 ページ: 4076-4082

    • DOI

      10.1016/j.cam.2011.02.033

    • 関連する報告書
      2013 研究成果報告書 2011 実績報告書
  • [学会発表] 不完全定義インデックス生成関数の線形変換を求める発見的手法2014

    • 著者名/発表者名
      笹尾勤、浦野雄太,井口幸洋
    • 学会等名
      電子情報通信学会, 第27回多値論理とその応用研究会,
    • 発表場所
      鹿児島
    • 関連する報告書
      2013 実績報告書
  • [学会発表] インデックス生成関数を表現するために必要な変数の個数の平均値について2014

    • 著者名/発表者名
      笹尾勤
    • 学会等名
      2014年 Design & Test Colloquium, (DTC2014)
    • 発表場所
      沼津
    • 関連する報告書
      2013 実績報告書
  • [学会発表] A Packet Classifier using LUT cascades Based on EVMDDs(k)2013

    • 著者名/発表者名
      H. Nakahara, T. Sasao, and M. Matsuura
    • 学会等名
      The 23rd International Conference on Field Programmable Logic and Applications (FPL-2013)
    • 発表場所
      Porto, Portugal
    • 年月日
      2013-09-02
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] Forty years of logic synthesis : Memoir2013

    • 著者名/発表者名
      T. Sasao
    • 学会等名
      RM-2013
    • 発表場所
      Toyama, Japan
    • 年月日
      2013-05-24
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] A heuristic method to find linear decompositions for incompletely specified index generation functions2013

    • 著者名/発表者名
      T. Sasao, Y. Urano, and Y. Iguchi
    • 学会等名
      The 18th workshop on Synthesis and system Integration of Mixed Information Technologies
    • 発表場所
      Sapporo, Japan
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] A fast simplification algorithm for packet classification2013

    • 著者名/発表者名
      I.Syafalni and T. Sasao
    • 学会等名
      The 18th workshop on Synthesis and system Integration of Mixed Information Technologies
    • 発表場所
      Sapporo, Japan
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] A TCAM generator for packet classification2013

    • 著者名/発表者名
      I. Syafalni and T. Sasao
    • 学会等名
      The 31st IEEE International Conference on Computer Design (ICCD-2013)
    • 発表場所
      Asheville, NC, USA
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] A packet classifier using parallel EVMDD(k) machine2013

    • 著者名/発表者名
      H. Nakahara, T. Sasao, and M. Matsuura
    • 学会等名
      7th IEEE International Symposium on Embedded Multicore SoCs (MCSoC-13)
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] Cyclic row-shift decompositions for incompletely specified index generation functions2013

    • 著者名/発表者名
      T. Sasao
    • 学会等名
      IWLS-2013
    • 発表場所
      Austin, Texas
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] An architecture for IPv6 lookup using parallel index generation units2013

    • 著者名/発表者名
      H. Nakahara, T. Sasao and M. Matsuura
    • 学会等名
      The 9th International Symposium on Applied Reconfigurable Computing (ARC2013)
    • 発表場所
      Los Angeles
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] Hardware index to set partition converter2013

    • 著者名/発表者名
      J. T. Butler and T. Sasao
    • 学会等名
      The 9th International Symposium on Applied Reconfigurable Computing (ARC2013)
    • 発表場所
      Los Angeles
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] Four decades of multi-valued logic: Lists of highly cited papers2013

    • 著者名/発表者名
      T. Sasao
    • 学会等名
      International Symposium on Multiple-Valued Logic (ISMVL-2013)
    • 発表場所
      富山
    • 関連する報告書
      2013 実績報告書
  • [学会発表] An application of autocorrelation functions to find linear decompositions for incompletely specified index generation functions2013

    • 著者名/発表者名
      T. Sasao
    • 学会等名
      International Symposium on Multiple-Valued Logic (ISMVL-2013)
    • 発表場所
      富山
    • 関連する報告書
      2013 実績報告書
  • [学会発表] A machine to evaluate decomposed multi-terminal multi-valued decision diagrams for characteristic functions2013

    • 著者名/発表者名
      H. Nakahara, T. Sasao and M. Matsuura
    • 学会等名
      International Symposium on Multiple-Valued Logic (ISMVL-2013)
    • 発表場所
      富山
    • 関連する報告書
      2013 実績報告書
  • [学会発表] Cyclic row-shift decompositions for incompletely specified index generation functions2013

    • 著者名/発表者名
      T. Sasao
    • 学会等名
      Internatioal Workshop on Logic and Synthesis
    • 発表場所
      Austin, Texas
    • 関連する報告書
      2013 実績報告書
  • [学会発表] A packet classifier using LUT cascades based on EVMDDs(k)2013

    • 著者名/発表者名
      H. Nakahara, T. Sasao, and M. Matsuura,
    • 学会等名
      The 23rd International Conference on Field Programmable Logic and Applications
    • 発表場所
      Porto, Portugal
    • 関連する報告書
      2013 実績報告書
  • [学会発表] A packet classifier using parallel EVMDD(k) machine2013

    • 著者名/発表者名
      H. Nakahara, T. Sasao, and M. Matsuura
    • 学会等名
      7th IEEE International Symposium on Embedded Multicore SoCs
    • 発表場所
      東京
    • 関連する報告書
      2013 実績報告書
  • [学会発表] A TCAM generator for packet classification2013

    • 著者名/発表者名
      I. Syafalni and T. Sasao
    • 学会等名
      International Conference on Computer Design (ICCD-2013)
    • 発表場所
      Asheville, NC, USA
    • 関連する報告書
      2013 実績報告書
  • [学会発表] A heuristic method to find linear decompositions for incompletely specified index generation functions2013

    • 著者名/発表者名
      T. Sasao, Y. Urano, and Y. Iguchi
    • 学会等名
      The 18th workshop on Synthesis and system Integration of Mixed Information
    • 発表場所
      札幌
    • 関連する報告書
      2013 実績報告書
  • [学会発表] インデックス生成関数の表現に必要な変数の個数の下界について2013

    • 著者名/発表者名
      浦野雄太、笹尾勤、井口幸洋
    • 学会等名
      第36回多値論理フォーラム
    • 発表場所
      姫路
    • 関連する報告書
      2013 実績報告書
  • [学会発表] An architecture for IPv6 lookup using parallel index generation units2013

    • 著者名/発表者名
      H. Nakahara, T. Sasao and M. Matsuura
    • 学会等名
      The 9th International Symposium on Applied Reconfigurable Computing (ARC2013)
    • 発表場所
      Los Angeles, USA
    • 関連する報告書
      2012 実績報告書
  • [学会発表] Hardware index to set partition converter2013

    • 著者名/発表者名
      J. T. Butler and T. Sasao
    • 学会等名
      The 9th International Symposium on Applied Reconfigurable Computing (ARC2013)
    • 発表場所
      Los Angeles, USA
    • 関連する報告書
      2012 実績報告書
  • [学会発表] On a wideband fast Fourier transform using piecewise linear approximations : Application to a radio telescope spectrometer2012

    • 著者名/発表者名
      H. Nakahara, H. Nakanishi, and T. Sasao
    • 学会等名
      The 12th IEEE International Conference on Algorithms and Architectures for Parallel Processing
    • 発表場所
      Lecture Notes in Computer Science
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] A fast head-tail expression generator for TCAM : Application to packet classification2012

    • 著者名/発表者名
      I. Syafalni and T. Sasao
    • 学会等名
      IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2012)
    • 発表場所
      Amherst, USA21
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] On a wideband fast Fourier transform for a radio telescope2012

    • 著者名/発表者名
      H. Nakahara, H. Nakanishi, and T. Sasao
    • 学会等名
      the 3rd International Workshop on Highly Efficient Accelerators and Reconfigurable Technologies (HEART 2012)
    • 発表場所
      Okinawa, Japan
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] Hardware index to permutation converter2012

    • 著者名/発表者名
      J. T. Butler and T. Sasao
    • 学会等名
      19th Reconfigurable Architectures Workshop
    • 発表場所
      Shanghai, China
    • 関連する報告書
      2013 研究成果報告書 2012 実績報告書
  • [学会発表] Multiple-valued input index generation functions : Optimization by linear transformation2012

    • 著者名/発表者名
      T. Sasao
    • 学会等名
      International Symposium on Multiple-Valued Logic
    • 発表場所
      Victoria, Canada
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] Analysis of multi-state systems with multi-state components using EVMDDs2012

    • 著者名/発表者名
      S. Nagayama, T. Sasao, and J. T. Butler
    • 学会等名
      International Symposium on Multiple-Valued Logic
    • 発表場所
      Victoria, Canada
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] Multi-terminal multiple-valued decision diagrams for characteristic function representing cluster decomposition2012

    • 著者名/発表者名
      H. Nakahara, T. Sasao, and M. Matsuura
    • 学会等名
      International Symposium on Multiple-Valued Logic (ISMVL-2012)
    • 発表場所
      Victoria, Canada
    • 関連する報告書
      2013 研究成果報告書 2012 実績報告書
  • [学会発表] A low-cost and high-performance virus scanning engine using a binary CAM emulator and an MPU2012

    • 著者名/発表者名
      H. Nakahara, T. Sasao and M. Matsuura
    • 学会等名
      8th International Symposium on Applied Reconfigurable Computing
    • 発表場所
      Hong-Kong
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] Row-shift decompositions for index generation functions2012

    • 著者名/発表者名
      T. Sasao
    • 学会等名
      Design, Automation and Test in Europe, (DATE-2012)
    • 発表場所
      Dresden, Germany
    • 関連する報告書
      2013 研究成果報告書 2011 実績報告書
  • [学会発表] Linear decomposition of index generation functions2012

    • 著者名/発表者名
      T. Sasao
    • 学会等名
      17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012)
    • 発表場所
      Sydney, Australia
    • 関連する報告書
      2013 研究成果報告書 2011 実績報告書
  • [学会発表] Multiple-valued input index generation functions: Optimization by linear transformation2012

    • 著者名/発表者名
      T. Sasao
    • 学会等名
      International Symposium on Multiple-Valued Logic (ISMVL-2012)
    • 発表場所
      Victoria, Canada
    • 関連する報告書
      2012 実績報告書
  • [学会発表] Analysis of multi-state systems with multi-state components using EVMDDs2012

    • 著者名/発表者名
      S. Nagayama, T. Sasao, and J. T. Butler
    • 学会等名
      International Symposium on Multiple-Valued Logic (ISMVL-2012)
    • 発表場所
      Victoria, Canada
    • 関連する報告書
      2012 実績報告書
  • [学会発表] A fast head-tail expression generator for TCAM: Application to packet classification2012

    • 著者名/発表者名
      I. Syafalni and T. Sasao
    • 学会等名
      IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2012)
    • 発表場所
      Amherst, USA
    • 関連する報告書
      2012 実績報告書
  • [学会発表] On a wideband fast Fourier transform using piecewise linear approximations: Application to a radio telescope spectrometer2012

    • 著者名/発表者名
      H. Nakahara, H. Nakanishi, and T. Sasao
    • 学会等名
      The 12th IEEE International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP2012)
    • 発表場所
      Fukuoka, Japan
    • 関連する報告書
      2012 実績報告書
  • [学会発表] On a wideband fast Fourier transform for a radio telescope2012

    • 著者名/発表者名
      H. Nakahara, H. Nakanishi, and T. Sasao
    • 学会等名
      The 3rd International Workshop on Highly Efficient Accelerators and Reconfigurable Technologies (HEART 2012)
    • 発表場所
      Okinawa, Japan
    • 関連する報告書
      2012 実績報告書
  • [学会発表] Fast constant weight codeword to index converter2011

    • 著者名/発表者名
      J. T. Butler and T. Sasao
    • 学会等名
      The 54th IEEE International Midwest Symposium on Circuits and Systems
    • 発表場所
      Korea
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] On a prefetching heterogeneous MDD machine2011

    • 著者名/発表者名
      H. Nakahara, T. Sasao, and M. Matsuura
    • 学会等名
      The 54th IEEE International Midwest Symposium on Circuits and Systems
    • 発表場所
      Korea
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] Index generation functions : Recent developments2011

    • 著者名/発表者名
      T. Sasao
    • 学会等名
      International Symposium on Multiple-Valued Logic (ISMVL-2011)
    • 発表場所
      Tuusula, Finland
    • 関連する報告書
      2013 研究成果報告書
    • 招待講演
  • [学会発表] A Comparison of heterogeneous multi-valued decision diagram machines for multiple-output logic functions2011

    • 著者名/発表者名
      H. Nakahara, T. Sasao and M. Matsuura
    • 学会等名
      International Symposium on Multiple-Valued Logic (ISMVL-2011)
    • 発表場所
      Tuusula, Finland
    • 関連する報告書
      2013 研究成果報告書 2011 実績報告書
  • [学会発表] Numeric function generators using piecewise arithmetic expressions2011

    • 著者名/発表者名
      S. Nagayama, T. Sasao, and J. T. Butler
    • 学会等名
      International Symposium on Multiple-Valued Logic (ISMVL-2011)
    • 発表場所
      Tuusula, Finland
    • 関連する報告書
      2013 研究成果報告書 2011 実績報告書
  • [学会発表] Fast hardware computation of x mod z2011

    • 著者名/発表者名
      J. T. Butler and T. Sasao
    • 学会等名
      18th Reconfigurable Architectures Workshop (RAW 2011)
    • 発表場所
      Anchorage, Alaska, USA
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] Index generation functions: Recent developments (招待講演)2011

    • 著者名/発表者名
      T. Sasao
    • 学会等名
      International Symposium on Multiple-Valued Logic (ISMVL-2011)
    • 発表場所
      Tuusula, Finland
    • 関連する報告書
      2011 実績報告書
    • 招待講演
  • [学会発表] Fast constant weight codeword to index converter2011

    • 著者名/発表者名
      J. T. Butler and T. Sasao
    • 学会等名
      The 54th IEEE International Midwest Symposium on Circuits and Systems
    • 発表場所
      Seoul, Korea
    • 関連する報告書
      2011 実績報告書
  • [学会発表] On a prefetching heterogeneous MDD machine2011

    • 著者名/発表者名
      H. Nakahara, T. Sasao and M. Matsuura
    • 学会等名
      The 54th IEEE International Midwest Symposium on Circuits and Systems
    • 発表場所
      Seoul, Korea
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Four decades of multi-valued logic : Lists of highly cited papers

    • 著者名/発表者名
      T. Sasao
    • 学会等名
      International Symposium on Multiple-Valued Logic
    • 発表場所
      Toyama, Japan
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] An application of autocorrelation functions to find linear decompositions for incompletely specified index generation functions

    • 著者名/発表者名
      T. Sasao
    • 学会等名
      International Symposium on Multiple-Valued Logic (ISMVL-2013)
    • 発表場所
      Toyama, Japan
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] A machine to evaluate decomposed multi-terminal multi-valued decision diagrams for characteristic functions

    • 著者名/発表者名
      H. Nakahara, T. Sasao and M. Matsuura
    • 学会等名
      International Symposium on Multiple-Valued Logic (ISMVL-2013)
    • 発表場所
      Toyama, Japan
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] Minimization of the number of edges in an EVMDD by variable grouping for fast analysis of multi-state systems

    • 著者名/発表者名
      S. Nagayama, T. Sasao, and J. T. Butler
    • 学会等名
      International Symposium on Multiple-Valued Logic (ISMVL-2013)
    • 発表場所
      Toyama, Japan
    • 関連する報告書
      2013 研究成果報告書
  • [図書] Memory-Based Logic Synthesis2011

    • 著者名/発表者名
      T. Sasao
    • 総ページ数
      189
    • 出版者
      Springer
    • 関連する報告書
      2011 実績報告書
  • [備考]

    • URL

      http://www.lsi-cad.com

    • 関連する報告書
      2013 研究成果報告書
  • [備考] Tsutomu Sasao

    • URL

      http://www.lsi-cad.com

    • 関連する報告書
      2013 実績報告書
  • [備考] Welcome to LSI-CAD

    • URL

      http://www.lsi-cad.com

    • 関連する報告書
      2012 実績報告書
  • [備考] Welcome to LSI-CAD

    • URL

      http://www.lsi-cad.com

    • 関連する報告書
      2011 実績報告書

URL: 

公開日: 2011-04-06   更新日: 2019-07-29  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi