検索結果 1212件中 1-20 を表示

  • 配列を入力引数とする関数の検証のための分離論理の拡張

    水谷 慎之介 , 西田 直樹 , 酒井 正彦

    … 語を応用すればそのようなヒープを表現することは可能だが,連続するヒープをわざわざそのような述語を用いて検証するのは冗長である.本発表では,整数式でサイズを表したヒープ表現を導入することで分離論理を拡張し,その拡張に応じて分離論理の推論規則も拡張する.As in the C programming language, a function passed an array as one of its arguments receives only a pointer to the first element of the array, and acts as if the entire array is …

    情報処理学会論文誌プログラミング(PRO) 10(1), 29-29, 2017-01-06

    情報処理学会

  • 階層型共進化モデルと論理値型GPを用いた不良品回収制度の改善のための社会シミュレーション

    渡辺 哲朗 , 菅野 太郎 , 古田 一雄

    … with <i>Logic Value Typed Genetic Programming (GP)</i>. … From the experiment, it is also understood that Logic Value Typed GP, which uses logic values and logic operators, has the advantages over the existing GP method that uses real number values. … The Logic Value Typed GP is more stable in the evolutionary process and more efficient in terms of agents' learning process. …

    進化計算学会論文誌 8(2), 36-51, 2017

    J-STAGE

  • プログラミングの体験形式がプログラミング学習の動機づけに与える効果

    岡崎 善弘 , 大角 茂之 , 倉住 友恵 , 三島 知剛 , 阿部 和広

    <p>プログラミングの体験形式が小学生のプログラミング学習の動機づけに与える効果について検討した.体験形式として,(1) ゲームの作成方法を逐次的に教わりながら作成する講義型,(2) 2名1組で1冊のテキストを共有し,相互に教え合いながらゲームを作成する協同型,(3) 手渡されたテキストを見ながら単独でゲームを作成する個別型,の3タイプ間で動機づけを比較した.本研究の結果から,講義型ま …

    日本教育工学会論文誌 41(2), 169-175, 2017

    J-STAGE

  • 進化的計算手法を用いた論理ゲートネットワークの生成に関する研究

    程 贏 , 滝田 謙介

    … In recent years, various techniques, such as Neural Network, Deep Learning and Genetic Programming(GP), to realize the adaptive behavior of the robot have been proposed. …

    IIP情報・知能・精密機器部門講演会講演論文集 2017(0), PI-03, 2017

    J-STAGE

  • プログラミングの体験形式がプログラミング学習の動機づけに与える効果

    岡崎 善弘 , 大角 茂之 , 倉住 友恵 , 三島 知剛 , 阿部 和広

    <p>プログラミングの体験形式が小学生のプログラミング学習の動機づけに与える効果について検討した.体験形式として,(1) ゲームの作成方法を逐次的に教わりながら作成する講義型,(2) 2名1組で1冊のテキストを共有し,相互に教え合いながらゲームを作成する協同型,(3) 手渡されたテキストを見ながら単独でゲームを作成する個別型,の3タイプ間で動機づけを比較した.本研究の結果から,講義型ま …

    日本教育工学会論文誌, 2017

    J-STAGE

  • Encoding Argumentation Semantics by Boolean Algebra

    PU Fuan , LUO Guiming , JIANG Zhou

    … Then, we show that these models can be easily translated into logic programs, and can be solved by a constraint solver over Boolean variables. …

    IEICE Transactions on Information and Systems E100.D(4), 838-848, 2017

    J-STAGE

  • Declaring Constraints on Object-oriented Collections

    Tim Felgentreff , Robert Hirschfeld , Maria Graber , Alan Borning , Hidehiko Masuhara

    Logic puzzles such as Sudoku are described by a set of properties that a valid solution must have. … However, constraints are less suited to express imperative interactions in a user interface for logic puzzles, a domain that is more readily expressed in the object-oriented paradigm. … Object constraint programming provides a design to integrate constraints with dynamic, object-oriented programming languages. …

    情報処理学会論文誌プログラミング(PRO) 9(4), 2016-09-12

    情報処理学会

  • 中学生を対象とするPLCを活用した体験授業

    三谷 祐一朗 , 谷埜 博基

    … The main control device of the class was PLC (Programmable Logic Controller), and almost all of the participating students seemed to be interested in the programming of the PLC to construct the sequence control system. …

    沼津工業高等専門学校研究報告 50, 1-6, 2016-01-31

    CiNii PDF - オープンアクセス 

  • 帰納論理プログラミングによる代用のための知識の獲得

    古橋 翔吾 , 岡 夏樹

    情報処理学会関西支部支部大会講演論文集, 3p, 2016

  • 諸外国のプログラミング教育を含む情報教育カリキュラムに関する調査

    太田 剛 , 森本 容介 , 加藤 浩

    <p>本稿では,初等中等教育において全国レベルでプログラミング教育が実施されている英国,オーストラリア,米国のカリキュラムを調査し,その内容を総括的に述べる.各国とも情報教育として,プログラミング教育を包含するコンピュテーショナルシンキングの考え方を中核にして,抽象化,問題の分析,アルゴリズム,データ活用,評価,協働作業等の能力の育成を目指した学習内容を定義している.各国のプログラミン …

    日本教育工学会論文誌 40(3), 197-208, 2016

    J-STAGE

  • Improvement of Star Sensor in Generic Test Environment

    SUGIMURA Nobuo , HASHIMOTO Tatsuaki , KUWAHARA Toshinori , SAKAMOTO Yuji , YOSHIDA Kazuya , SATO Yuki , TAKANO Tomohiro

    … In this board, the avoidance algorithm for white spots was composed using both a hardware logic filter and a software filter. … During the programming of these algorithms, the functionality of the satellite's attitude detection was verified in a generic test environment. …

    TRANSACTIONS OF THE JAPAN SOCIETY FOR AERONAUTICAL AND SPACE SCIENCES, AEROSPACE TECHNOLOGY JAPAN 14(ists30), Pf_97-Pf_103, 2016

    J-STAGE

  • グラフ上の論理的制約をもつマルチビークルシステムの最適制御

    小林 孝一 , 平石 邦彦

    計測と制御 55(11), 966-971, 2016

    J-STAGE

  • Declaring Constraints on Object-oriented Collections

    Felgentreff Tim , Hirschfeld Robert , Graber Maria , Borning Alan , Masuhara Hidehiko

    … <p>Logic puzzles such as Sudoku are described by a set of properties that a valid solution must have. … However, constraints are less suited to express imperative interactions in a user interface for logic puzzles, a domain that is more readily expressed in the object-oriented paradigm. … Object constraint programming provides a design to integrate constraints with dynamic, object-oriented programming languages. …

    Journal of Information Processing 24(6), 917-927, 2016

    J-STAGE

  • Technology Mapping Method Using Integer Linear Programming for Low Power Consumption and High Performance in General-Synchronous Framework

    KAWAGUCHI Junki , MASHIKO Hayato , KOHIRA Yukihide

    … To improve the circuit performance more, logic synthesis for general-synchronous framework is required. … In this paper, under the assumption that any clock schedule is realized by an ideal clock distribution circuit, when two or more cell libraries are available, a technology mapping method which assigns a cell to each gate in the given logic circuit by using integer linear programming is proposed. …

    IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E99.A(7), 1366-1373, 2016

    J-STAGE

  • A self-adaptive write driver with fast termination of step-up pulse for ReRAM

    Yang Jianguo , Xue Xiaoyong , Xu Juan , Ye Fan , Lin Yinyin , Huang Ryan , Zou QinTian , Wu JinGang

    … However, for conventional write scheme with fixed duration and amplitude, power consumption is very high and cell performance degrades due to over-programming. … The proposed technique is verified on a 256 Kb ReRAM test macro fabricated based on 0.13-µm logic process. …

    IEICE Electronics Express 13(7), 20160195-20160195, 2016

    J-STAGE

  • A self-adaptive write driver with fast termination of step-up pulse for ReRAM

    Yang Jianguo , Xue Xiaoyong , Xu Juan , Ye Fan , Lin Yinyin , Huang Ryan , Zou QinTian , Wu JinGang

    … However, for conventional write scheme with fixed duration and amplitude, power consumption is very high and cell performance degrades due to over-programming. … The proposed technique is verified on a 256Kb ReRAM test macro fabricated based on 0.13-µm logic process. …

    IEICE Electronics Express advpub(0), 2016

    J-STAGE

  • Analysis of Ship Accidents due to Marine Engine Failure : Application of Logic Programming Technique (LPT) (特集 ISME HARBIN 2014)

    Awal Zobair Ibn , Hasegawa Kazuhiko

    Marine engineering : journal of the Japan Institute of Marine Engineering = マリンエンジニアリング :日本マリンエンジニアリング学会誌 50(6), 744-751, 2015-11

  • ICONE23-1952 Co-Simulation for Real Time Safety Verification of Nuclear Power Plants

    Boafo E. K. , Zhang L. , Nasimi E. , Gabbar H. A.

    … Intelligent algorithms is used with multivariate techniques to accurate define the interrelation among process variables, in terms of signal strength and time delay, using Genetic Programming (GP), which will provide basis for fault detection and tuning of FSN, as well as fault diagnosis to understand the closest state of fault scenario. … And in order to fine tune propagation scenarios within FSN, rules are synthesized using fuzzy logic using real time and simulation data. …

    Proceedings of the ... International Conference on Nuclear Engineering. Book of abstracts : ICONE 2015(23), "ICONE23-1952-1"-"ICONE23-1952-8", 2015-05-17

  • SIMPLIFIED AND SYSTEMATIC PLC PROGRAMMING TECHNIQUE : A CASE STUDY OF BURNER CONTROL FOR THERMAL OIL HEATER

    KHAEFOI SUPAKIT , SMERPITAK KRIT , PONGSWATD SAWAI [他]

    ICIC express letters. Part B, Applications : an international journal of research and surveys 6(4), 1025-1032, 2015-04

ページトップへ