Updated on 2022/09/03

写真a

 
SASAKURA Mariko
 
Organization
Faculty of Natural Science and Technology Assistant Professor
Position
Assistant Professor
External link

Degree

  • 工学(修士) ( 奈良先端科学技術大学院大学 )

  • 博士(工学) ( 九州大学 )

Research Interests

  • 推論

  • ヒューマンコンピュータインタラクション

  • コンパイラ

  • reasoning

  • 視覚化

  • human computer interaction

  • compiler

  • visualization

Research Areas

  • Informatics / Software

  • Informatics / Intelligent informatics

  • Informatics / Database

  • Informatics / Human interface and interaction

Education

  • Nara Institute of Science and Technology   情報科学研究科   情報処理学専攻

    - 1996

      More details

    Country: Japan

    researchmap

  • Nara Institute of Science and Technology    

    - 1996

      More details

  • Kyoto University   工学部   情報工学科

    - 1986

      More details

    Country: Japan

    researchmap

  • Kyoto University    

    - 1986

      More details

Research History

  • - 岡山大学自然科学研究科 助教

    2004

      More details

  • - Assistant Professor,Graduate School of Natural Science and Technology,Okayama University

    2004

      More details

  • Research Associate,Graduate School of Natural Science and Technology,Okayama University

    2003 - 2004

      More details

  • 岡山大学自然科学研究科 助手

    2003 - 2004

      More details

  • Research Associate,Faculty of Engineering,Okayama University

    1994 - 2003

      More details

  • Okayama University   Faculty of Engineering

    1994 - 2003

      More details

  • Researcher,ASTEM

    1988 - 1994

      More details

  • (財)京都高度技術研究所 研究員

    1988 - 1994

      More details

  • Technical Staff

    1986 - 1988

      More details

  • 財団法人 京都産業情報センター 職員(技術系)

    1986 - 1988

      More details

▼display all

Professional Memberships

 

Papers

  • A Piloting Study of Measuring Effectiveness of Virtual Reality in Understanding a New Concept in Educational Support Systems Reviewed

    Shingo Taniuchi, Kiyotaka Kawahara, Mariko Sasakura

    2021 25th International Conference Information Visualisation (IV)   2021.7

     More details

    Authorship:Last author   Publishing type:Research paper (international conference proceedings)   Publisher:IEEE  

    DOI: 10.1109/iv53921.2021.00036

    researchmap

  • Distributed Strategies and Managements based on State Constraint Logic with Predicate for Communication Reviewed

    Susumu Yamasaki, Mariko Sasakura

    Proceedings of the 6th International Conference on Complexity, Future Information Systems and Risk   2021

     More details

    Authorship:Last author   Publishing type:Research paper (international conference proceedings)   Publisher:SCITEPRESS - Science and Technology Publications  

    DOI: 10.5220/0010468700780085

    researchmap

  • Estimating Level of Engagement from Ocular Landmarks Reviewed

    Zeynep Yücel, Serina Koyama, Akito Monden, Mariko Sasakura

    International Journal of Human–Computer Interaction   36 ( 16 )   1527 - 1539   2020.10

     More details

    Authorship:Last author   Publishing type:Research paper (scientific journal)   Publisher:Informa UK Limited  

    DOI: 10.1080/10447318.2020.1768666

    researchmap

  • Acceptability of High School class in VR and its Evaluation Reviewed

    Takashi Date, Teruki Nagamune, Mariko Sasakura

    2020 24th International Conference Information Visualisation (IV)   2020.9

     More details

    Authorship:Last author   Publishing type:Research paper (international conference proceedings)   Publisher:IEEE  

    DOI: 10.1109/iv51561.2020.00044

    researchmap

  • Bringing Digital Curation to Archaeological Projects: Evidence from the BeArchaeo Project. Reviewed

    Vincenzo Lombardo, Tugce Karatas, Rossana Damiano, Claudio Mattutino, Mariko Sasakura

    Proceedings of the AVI²CH Workshop on Advanced Visual Interfaces and Interactions in Cultural Heritage co-located with 2020 International Conference on Advanced Visual Interfaces (AVI 2020)(AVI²CH@AVI)   2020

     More details

    Authorship:Last author   Publishing type:Research paper (international conference proceedings)   Publisher:CEUR-WS.org  

    researchmap

    Other Link: https://dblp.uni-trier.de/rec/conf/avi/2020avi2ch

  • Reference Data Abstraction and Causal Relation based on Algebraic Expressions Reviewed

    Susumu Yamasaki, Mariko Sasakura

    Proceedings of the 9th International Conference on Data Science, Technology and Applications   2020

     More details

    Authorship:Last author   Publishing type:Research paper (international conference proceedings)   Publisher:SCITEPRESS - Science and Technology Publications  

    DOI: 10.5220/0009825602070214

    researchmap

  • Modal Mu-calculus Extension with Description of Autonomy and Its Algebraic Structure Reviewed

    Susumu Yamasaki, Mariko Sasakura

    Proceedings of the 5th International Conference on Complexity, Future Information Systems and Risk   2020

     More details

    Authorship:Last author   Publishing type:Research paper (international conference proceedings)   Publisher:SCITEPRESS - Science and Technology Publications  

    DOI: 10.5220/0009322300630071

    researchmap

  • A Proposal of Visualization System for Understanding Quantum Algorithms Reviewed

    Mariko Sasakura, Shingo Taniuchi, Kenichi Iwata

    2019 23rd International Conference in Information Visualization – Part II   2019.7

     More details

    Authorship:Lead author   Publishing type:Research paper (international conference proceedings)   Publisher:IEEE  

    DOI: 10.1109/iv-2.2019.00015

    researchmap

  • A GRAPH MANIPULATION SYSTEM ABSTRACTED FROM E-LEARNING Reviewed

    Susumu Yamasaki, Mariko Sasakura

    KEOD 2011: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON KNOWLEDGE ENGINEERING AND ONTOLOGY DEVELOPMENT   466 - 469   2011

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)   Publisher:INSTICC-INST SYST TECHNOLOGIES INFORMATION CONTROL & COMMUNICATION  

    In this position paper, we have an outlook on a graph manipulation system applicable to a visual interface of managing educational courses for an e-Learning system. We paraphrase a process of learning into a scheme of state-transitions related to graph manipulations. By the scheme, techniques and tools for educational courses can be abstracted to the treatments of graphs. Thus we construct a methodology of graph manipulations for a management of educational courses by extending the established graph viewer. We also propose a simple sketch-based interface to manipulate graphs. We here list up several tools of the sketch-based interface, based on the algorithm to detect mouse movements for indicating operations of the system.

    Web of Science

    researchmap

  • Interaction with computers using mobile devices Reviewed

    Mariko Sasakura, Shinsuke Fujioka, Susumu Yamasaki

    2010 14TH INTERNATIONAL CONFERENCE INFORMATION VISUALISATION (IV 2010)   122 - 127   2010

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)   Publisher:IEEE COMPUTER SOC  

    We propose a new interaction way that uses mobile devices to input and output devices of computers. The idea is simple but powerful, because 1) mobile devices are popular, 2) people can use them easily, 3) people carry them at all times, 4) two displays one of which is a big display for a computer and another is a small display of a mobile device may make new interaction and visualization and 5) a user can store parts of public data in physically independent device, that is his/her mobile device. We expect that our idea may make psychological barrier lower than now so that users can access and modify all data around the world more easily. In this paper, we show an example application based the idea we propose and discuss its possibilities.

    DOI: 10.1109/IV.2010.27

    Web of Science

    researchmap

  • A DESIGN OF DIAGNOSIS SYSTEM FOR MENTAL DISORDER Reviewed

    Mariko Sasakura, Kenichi Iwata, Susumu Yamasaki

    KEOD 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON KNOWLEDGE ENGINEERING AND ONTOLOGY DEVELOPMENT   368 - 371   2009

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)   Publisher:SPRINGER-VERLAG BERLIN  

    We propose a web application system which helps experts to make a diagnosis of mental disorders. We construct a knowledge base from DSM and SCID which are diagnosis manuals made by psychiatrists. We have two stages in our diagnosis system. In the first stage, our application picks up suspicious disorders. In the second stage, the application checks the suspicious disorders according to a flow chart generated by the knowledge base. We discuss problems gained by our experiment of constructing the knowldge base.

    Web of Science

    researchmap

  • A Method to Visualize Numerical Data with Geographical Information using Feathered Circles Painted by Color Gradation.

    Kenichi Iwata, Mariko Sasakura

    Proceedings of the 7th NTCIR Workshop Meeting on Evaluation of Information Access Technologies: Information Retrieval, Question Answering and Cross-Lingual Information Access(NTCIR)   2008

     More details

    Publishing type:Research paper (international conference proceedings)   Publisher:National Institute of Informatics (NII)  

    researchmap

    Other Link: https://dblp.uni-trier.de/rec/conf/ntcir/2008

  • A framework for adaptive e-learning systems in higher education with information visualization Reviewed

    Mariko Sasakura, Susumu Yamasaki

    Proceedings of the International Conference on Information Visualisation   819 - 824   2007

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

    E-learning systems have become important in higher education, especially in universities. An adaptive e-learning system, which dynamically generates suitable courses for each student, is one of the most remarkable research fields. In this paper, we propose a general framework for adaptive e-learning systems, and discuss the role of information visualization in adaptive e-learning systems. © 2007 IEEE.

    DOI: 10.1109/IV.2007.11

    Scopus

    researchmap

  • A three-dimensional visualization of communications in distributed program environments Reviewed

    M Sasakura, S Yamasaki

    SEVENTH INTERNATIONAL CONFERENCE ON INFORMATION VISUALIZATION, PROCEEDINGS   132 - 137   2003

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)   Publisher:IEEE COMPUTER SOC  

    In order to understand the behaviour of distributed program environments, this paper describes a three-dimensional visualization of communications. Most of previous visualizations presented communications by means of two dimensions of time and process, however, three dimensions are required to represent a message intermediary with visualization functions. We make use of a semantic configuration of messages, which is constructed by the quantities for three parametric factors: (i) time sequence, (ii) identifications of processors, and (iii) message exchanges.

    Web of Science

    researchmap

  • Classification of Visualized Data Dependence Reviewed

    Asami Iwasaka, Hayaru Shouno, Mariko Sasakura, Kazuki Joe

    Proc. of PDPTA'02   1   1444 - 1450   2002.6

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

    researchmap

  • A visualization method for knowledge represented by general logic programs Reviewed

    M Sasakura

    FIFTH INTERNATIONAL CONFERENCE ON INFORMATION VISUALISATION, PROCEEDINGS   135 - 140   2001

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)   Publisher:IEEE COMPUTER SOC  

    In this paper we describe a visualization method for general logic clauses as the first step of a visualization of logic programs. Since we think inclusion is essential to represent an outline of knowledge, we propose a method based on Eider diagrams to visualize inference rules represented as a set of general logic clauses which consist of literals with no variable. We develop a prototype system and show that complex rules which are hard to understand in text are easy to understand by diagrams.

    Web of Science

    researchmap

  • Design and implementation of an automatic parallelizing and distributing compiler with visualization tools and the runtime environment Reviewed

    Y Kunieda, K Joe, A Fukuda, T Uehara, S Saito, T Saito, M Sasakura, T Nakanishi

    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V   713 - 719   2000

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)   Publisher:C S R E A PRESS  

    This paper describes the outline of the research project to develop a fully-automatic parallelizing and distributing compiler for distributed-memory machines. The compiler is designed on. the framework of "Compiler-controlled cache only memory architecture (cc-COMA)" which is to develop the compiler to generate object code along with the embedded software libraries to handle distributed shared memory provided by the runtime system. To realize automatic data partitioning and distribution, Data Partitioning Graph (DPG) is introduced as the universal intermediate representation (UIR) in the compiler. The compiler is integrated with the visualization tool to allow interactive restructuring of the program by users. The runtime environment to realize software-controlled COMA runtime environment on networks of workstations (NOWs) is also provided.

    Web of Science

    researchmap

▼display all

Books

  • Naraview : An Interactive 3D Visualization System for Parallelization of Programs

    ISHPC''97 Springer 

     More details

  • Naraview : An Interactive 3D Visualization System for Parallelization of Programs

    ISHPC''97 Springer 

     More details

MISC

  • インタラクションにおける慣れの効果の調査 Reviewed

    髙田友樹, 笹倉万里子

    インタラクション2020論文集   992 - 997   2020.3

     More details

    Authorship:Last author  

    researchmap

  • ユーザの好みを反映した自動作曲システムにおける対話型遺伝的アルゴリズムの有効性

    藤田将大, 笹倉万里子

    情報科学技術フォーラム講演論文集   18th   2019

  • バーチャルリアリティ授業視聴における書き込み入力インタフェースの提案

    長宗輝樹, 吉元亮太, 笹倉万里子, 橋倉彰宏, 西和彦

    情報科学技術フォーラム講演論文集   18th   2019

  • 量子プログラミングのための教育支援システム

    谷内紳悟, 笹倉万里子, 市岡優典

    情報科学技術フォーラム講演論文集   18th   2019

  • Estimation of affect scores accounting for user responsiveness

    NGUYEN Hoang, KOYAMA Serina, YUCEL Zeynep, MONDEN Akito, SASAKURA Mariko

    日本ロボット学会学術講演会予稿集(CD-ROM)   36th   ROMBUNNO.1I2‐01   2018.9

     More details

    Language:English  

    J-GLOBAL

    researchmap

  • An experiment of viewing virtual reality lesson for junior high and high school students

    長宗輝樹, 笹倉万里子, 橋倉彰宏, 西和彦

    情報処理学会研究報告(Web)   2018 ( CE-146 )   2018

  • 不安定雇用の女性研究者の立場より女性研究者問題を考える -JSA女性研究者・技術者調査チームによる不安定雇用の立場の女性研究者の実情に関する質的調査結果報告-

    大竹美登利, 大竹美登利, 朴木佳緒留, 朴木佳緒留, 笹倉万里子, 笹倉万里子, 真嶋麻子, 真嶋麻子, 廣森直子, 廣森直子, 衣川清子, 斎藤悦子, 斎藤悦子

    日本科学者会議総合学術研究集会予稿集   22nd   2018

  • スケッチによって描かれた絵の構成要素に基づく分類の試み

    高田友樹, 笹倉万里子

    情報科学技術フォーラム講演論文集   17th   2018

  • Using Real Objects for Interaction in Virtual Reality (共著) Reviewed

    Ryota Yoshimoto, Mariko Sasakura

    Proceedings of 21th International Conference on Information Visualisation(IV17)   440 - 443   2017

     More details

  • Visual Interface and Interaction Design for self-service orders at a Restaurant

    Yoshiki Shiba, Mariko Sasakura

    Proceedings 2016 20th International Conference Information Visualisation IV 2016   230 - 235   2016

     More details

    Language:English   Publisher:IEEE  

    In this paper, we propose visual interface and interaction designs for self-ordering systems such as in conveyor belt sushi restaurants. We try to design an interaction in which all people can order foods from their seats at a time without touching any devices, but with a three-dimensions motion sensor, Leap Motion Controller. We design three kinds of interactions and have an experiment to compare them. As a result, it is hard to decide which interaction is best because of false recognition by Leap Motion Controller. However, we found a possibility of interaction for using a three-dimensions motion sensor. We discuss the result of the experiment in detail.

    DOI: 10.1109/IV.2016.73

    Web of Science

    researchmap

  • Cultural and Genetic Transmission in the Jomon–Yayoi Transition Examined in an Agent-Based Demographic Simulation Reviewed

    Naoko Matsumoto, Mariko Sasakura

    Computational Social Sciences   311 - 334   2016

     More details

    Authorship:Last author   Language:English   Publisher:Springer International Publishing  

    DOI: 10.1007/978-3-319-31481-5_11

    Web of Science

    researchmap

  • D-20-14 Hierarchical Mixture Learning

    Aida Toshiaki, Hata Haruhi, Sasakura Mariko, Watanabe Daiki, Yokoyama Kaoru

    Proceedings of the IEICE General Conference   2015 ( 2 )   183 - 183   2015.2

     More details

    Language:Japanese   Publisher:The Institute of Electronics, Information and Communication Engineers  

    CiNii Article

    CiNii Books

    researchmap

  • An Experience of Information Visualization and Interaction for Aphasic Persons

    Mariko Sasakura, Saori Iikuma, Yukihiro Izawa

    2015 19TH INTERNATIONAL CONFERENCE ON INFORMATION VISUALISATION IV 2015   553 - 556   2015

     More details

    Language:English   Publisher:IEEE  

    Computers have been used for language therapy for aphasia persons. It is known that the usage of computer is effective for it. There are many problems for it but our interests are especially about the aspect of information visualization and interaction between computers and aphasia persons. In this paper, we report a prototype of rehabilitation system and the evaluation of the system by aphasia persons and speech therapists (STs). Aphasia persons have troubles to understand language. Most of them have troubles to read sentences. Also most of them have troubles to write characters and also lines in hand because the cause of aphasia is damages to the left part of brain. The proposed rehabilitation system allows aphasia persons to undergo treatment without writing characters or lines. Since they are not good at reading sentences, the user interface is designed especially using information visualization, as few characters. The evaluation of the system by aphasia persons and STs results good grade and both of them want to use the rehabilitation system by tablet computers much further.

    DOI: 10.1109/iV.2015.97

    Web of Science

    researchmap

  • Multi-modal Mu-calculus Semantics for Knowledge Construction (共著)

    Susumu Yamasaki, Mariko Sasakura

    KEOD 2015   358 - 363   2015

     More details

  • 横断的読書による知識構造化支援システム

    榎本崇志, 笹倉万里子

    人工知能学会先進的学習科学と工学研究会資料   75th   2015

  • Flip Visualization for Web based Demographic Simulation System

    Mariko Sasakura, Kenichi Iwata, Naoko Matsumoto

    2014 18TH INTERNATIONAL CONFERENCE ON INFORMATION VISUALISATION (IV)   120 - 124   2014

     More details

    Language:English   Publisher:IEEE  

    We propose "flip visualization" system which quickly changes a shown image from many images and allows users to find difference of images easily by the effect of the persistence of vision. In the system users can manipulate "flip animation" interactively, such as flip forward or backward, increase or decrease flipping speed, and stop flipping. The system can also divide images into clusters by manual operation of users, if they found a difference of images. In order to check the effect of flip visualization, we develop a web-based demographic simulation system for archaeology which simulates ancient society. It generates images as results, and shows them by flip visualization.

    DOI: 10.1109/IV.2014.59

    Web of Science

    researchmap

  • A calculus effectively performing event formation with visualization

    Susumu Yamasaki, Mariko Sasakura

    HIGH-PERFORMANCE COMPUTING   4759   287 - +   2008

     More details

    Language:English   Publisher:SPRINGER-VERLAG BERLIN  

    As a programming technique, we formulate a calculus of illustrating event formation which is effectively performed. An event is visualized as a sequence of abstract charts denoting processes. The calculus contains a set of charts related to basic processes, a set of situations, a semantic function assigning a situation transition to each chart, a logic program with negation-as-failure, and the integrity Constraint on the set of situations.

    Web of Science

    researchmap

  • A graph manipulation visual interface for construction of e-Learning systems

    Mariko Sasakura, Susumu Yamasaki

    PROCEEDINGS OF THE 12TH INTERNATIONAL INFORMATION VISUALISATION   644 - 649   2008

     More details

    Language:English   Publisher:IEEE COMPUTER SOC  

    In this paper, we propose a visual interface which assist managing educational courses in e-Learning systems. Educational courses in e-Learning systems can be represented as graphs. We design a simple interface which specializes in manipulation of educational courses only by movements of mouse. The feature of the interface is that we can manipulate graphs without pull down menus and buttons. We specify operations by drawing lines in the canvas window. For example, we can add an edge to a graph by drawing an arrow, and delete nodes and edges by drawing crossing lines on them. Since this is an application-dependent small system, we carefully select the operations and design the simple interface. We show which operations can be used in the interface and how we detect them from mouse movements.

    DOI: 10.1109/IV.2008.82

    Web of Science

    researchmap

  • Knowledge: Procedural and objective aspects

    Susumu Yamasaki, Mariko Sasakura

    Proc. of International Conferences on Advances in the Internet, Processing, Systems and Interdisciplinary Research, VIPSI-2008 (CD-ROM)   CD-ROM   2008

     More details

  • Sequential Structure of Objective Knowledge with an Application to Learning System

    Susumu Yamasaki, Mariko Sasakura

    IPSI Trans. on Internet Research   4 ( 1 )   12 - 17   2008

     More details

  • A framework for adaptive e-learning systems in higher education with information visualization

    Mariko Sasakura, Susumu Yamasaki

    11TH INTERNATIONAL CONFERENCE INFORMATION VISUALIZATION   819 - +   2007

     More details

    Language:English   Publisher:IEEE COMPUTER SOC  

    E-learning systems have become important in higher education, especially in universities. An adaptive e-learning system, which dynamically generates suitable courses for each student, is one of the most remarkable research fields. In this paper we propose a general framework for adaptive e-learning systems, and discuss the role of information visualization in adaptive e-learning systems.

    DOI: 10.1109/IV.2007.11

    Web of Science

    researchmap

  • Knowledge structute of chart sequences and its application to learning system

    Yamasaki, S, Sasakura, M

    Proc. of International Conferences on Advances in the Internet, Processing, Systems and Interdisciplinary Research, VIPSI-2007   CD-ROM   2007

     More details

  • 状況制約下における並行モジュールのシーケンス構成論

    岩田健一, 笹倉万里子, 山崎進

    情報処理学会論文誌 数理モデル化と応用   Vol.48 ( SIG 6 (TOM 17) )   43 - 50   2007

     More details

  • Picture Script: Visualizing Graphical User Interface Commands for Recycling

    Sasakura, M, Iwata, K, Yamasaki, S

    IPSI Transactions on Advanced Research   2006

     More details

  • 可視化されたデータ依存の分類とその並列化手法への適用

    山口智美, 笹倉万里子, 城和貴

    情報処理学会論文誌 数理モデル化と応用   2006

     More details

  • An interactive environment for generating sequential information

    Mariko Sasakura, Kenichi Iwata, Susumu Yamasaki

    INFORMATION VISUALIZATION-BOOK   441 - +   2006

     More details

    Language:English   Publisher:IEEE COMPUTER SOC  

    We propose an interactive environment in which we can generate sequential information. Sequential information is a sequence of movements which makes changes of situations. The system allows a user to construct an environment for generating sequential information. We provide interactions and visualization for sequential information generation based on theoretical grounds.

    DOI: 10.1109/IV.2006.21

    Web of Science

    researchmap

  • An evaluation for programs written by students

    SASAKURA Mariko

    2005 ( 34 )   19 - 24   2005.3

     More details

    Language:Japanese   Publisher:Information Processing Society of Japan (IPSJ)  

    In Okayama University, we have an exercise program of implementing a compiler. For the exercise, we prepare a frame of a compiler, and students write a compiler referring to the frame. In this paper, we try to evaluate the programs written by students with figures that visualize the programs.

    CiNii Article

    CiNii Books

    researchmap

    Other Link: http://id.nii.ac.jp/1001/00046062/

  • A calculus effectively performing event formation with visualization

    Yamasaki, S, Sasakura, M

    Proc. of ISHPC 2005   2005

     More details

  • Reasoning procedure and implementation for logic programs as managing schemes to extract demand

    Yamasaki,S, Iwata,K, Sasakura,M

    IPSI Trans. on Advanced Research   2005

     More details

  • Visualization for management of electronics product composition

    K Iwata, M Sasakura, S Yamasaki

    NINTH INTERNATIONAL CONFERENCE ON INFORMATION VISUALISATION, PROCEEDINGS   194 - 199   2005

     More details

    Language:English   Publisher:IEEE COMPUTER SOC  

    There are some systems called Supply Chain Management system or Value Chain Management system that manage production. It is a powerful tool in normal cases, but in a problem such that some parts are out of stock, it can solve the problem only by simple solutions, like postponing shipping of the product. Because it does not have enough information about production and functions to use the various information. Our research is concerned with a system to integrate information about production and show a solution to help users to judge which way is better to solve the problem. We implemented a prototype system. It takes inputs of some information that were not integrated in one place in former systems, but distributed among systems, people, or sections. It shows a solution for a problem making use of the information integrated in the system. The solution comes as process of reasoning to help user to judge what is the best to do in the case. We also implemented the user interface to show the process of reasoning.

    DOI: 10.1109/IV.2005.147

    Web of Science

    researchmap

  • Visualization with hierarchically structured trees for an explanation reasoning system

    M Sasakura, S Yamasaki

    EIGHTH INTERNATIONAL CONFERENCE ON INFORMATION VISUALISATION, PROCEEDINGS   893 - 898   2004

     More details

    Language:English   Publisher:IEEE COMPUTER SOC  

    This paper is concerned with an application of drawing hierarchically structured trees. The tree drawing is applied to an explanation reasoning system. The reasoning is based on synthetic abduction (hypothesis) that gets a case from a rule and a result. In other words, the system searches a proper environment to get a desired result. In order that the system may be reliably related to the amount of rules which are used to get the answer, we visualize a process of reasoning to show how rules have concern with the process. Since the process of reasoning in the system makes a hierarchically structured tree, the visualization of reasoning is a drawing of a hierarchically structured tree. We propose a method of visualization that is applicable to the explanation reasoning system.

    Web of Science

    researchmap

  • An Application of NaraView to Reasonings for Distributed Logic Programs

    SASAKURA Mariko, YAMASAKI Susumu

    IPSJ SIG Notes   2003 ( 65 )   1 - 4   2003.6

     More details

    Language:Japanese   Publisher:Information Processing Society of Japan (IPSJ)  

    Visualization has played a significant role in understanding the behavior of distributed programs. We propose a visualization that shows message exchanges in distributed logic programs using the Program Structure View in NaraView. The behavior of distributed logic programs is easily visualized using the Program Structure View since the messages have three parametric factors: time, derivation, and hierarchical level.

    CiNii Article

    CiNii Books

    researchmap

    Other Link: http://id.nii.ac.jp/1001/00033357/

  • A visualization of reasoning procedures for a logic program and its implementation

    YOSHIDA Satoshi, SASAKURA Mariko

    IEICE technical report. Artificial intelligence and knowledge-based processing   102 ( 709 )   7 - 12   2003.3

     More details

    Language:Japanese   Publisher:The Institute of Electronics, Information and Communication Engineers  

    In this paper, we propose a procedure that visualizes a reasoning process for an extended logic program. The procedure is an extension of the abductive procedure[1]. We record histories of goals and derivation calls in the procedure, then visualize them. Since derivation calls forms a tree, we display it in 3-dimension of which a node is represented as a paper that shows a history of goals in each derivation.

    CiNii Article

    CiNii Books

    researchmap

  • A visualization of reasoning procedures for a logic program and its implementation.

    吉田聡, 笹倉万里子

    人工知能学会知識ベースシステム研究会資料   60th   2003

  • Concentric Circle Diagrams for Visualizing a Reasoning Process on an Extended Logic Program

    SASAKURA Mariko

    IPSJ SIG Notes   2002 ( 59 )   25 - 28   2002.6

     More details

    Language:Japanese   Publisher:Information Processing Society of Japan (IPSJ)  

    We propose a new visualization for a reasoning process on an extended logic program. We use concentric circles to visualize recursive structures in a reasoning process. We add a process for our visualization to an existing reasoning process. We explain the details of our procedure and show some example diagrams.

    CiNii Article

    CiNii Books

    researchmap

    Other Link: http://id.nii.ac.jp/1001/00033433/

  • Attempt to Classify Visualized Data Dependence

    IWASAKA Asami, YAMAGUCHI Tomomi, SHOUNO Hayaru, SASAKURA Mariko, JOE Kazuki

    IPSJ SIG Notes   2002 ( 19 )   41 - 44   2002.3

     More details

    Language:Japanese   Publisher:Information Processing Society of Japan (IPSJ)  

    Recently, in the field of scientific calculation, the tendency to introduce parallel computer becomes increase. Therefore, converting methods from conventional sequential programs to correspondent parallel ones are required. However, vast amounts of skill and knowledge for the parallel programming are needed to programmer. In this study, we propose introducing the 3D visualization system called NaraView as those programming environment. Naraview analyze the data dependence in the programming code, and visualize their relations. Since the parallelizable code have typical features, NaraView would reveal them visually. We showed the effective parallelizing method, which have those typical features in the loop structure with concrete program code.

    CiNii Article

    CiNii Books

    researchmap

    Other Link: http://id.nii.ac.jp/1001/00033453/

  • A Contradiction-Free Proof Procedure with Visualization for Extended Logic Programs

    Yamasaki, S, Sasakura, M

    SSGRR2002(CD-ROM)   2002

     More details

  • Towards Distributed Programming Systems with Visualizations Based on Nonmonotonic Reasoning

    Susumu Yamasaki, Mariko Sasakura

    Proc. of SSGRR01   76(CDROM)   2001

     More details

  • Collaboration of Parafrase - 2 and Nara View for Effective Parallelization Supports

    HANEDA Masayo, SASAKURA Mariko, NAGASHIMA Umpei, KUNIEDA Yoshitoshi, JOE Kazuki

    IPSJ SIG Notes   2000 ( 60 )   17 - 20   2000.6

     More details

    Language:Japanese   Publisher:Information Processing Society of Japan (IPSJ)  

    To use parallel computer systems effectively, users need to reconstruct their sequential applications into parallel programs, and such parallelization is not easy work for general users. Parallelizing compilers were developed to solve this problem, but it is still quite difficult to parallelize applications correctly, efficiently, and automatically. For this reason, some parallelization support tools are desired. NaraView, as one of the support tool, visualizes a given program by extracting internal information from a parallelizing compiler Parafrase-2. In this paper, we validate the usefulness of NaraView by parallelizing a real application.

    CiNii Article

    CiNii Books

    researchmap

    Other Link: http://id.nii.ac.jp/1001/00033555/

  • Parallelization of Real Applications with NaraView : A Case Study

    HANEDA Masayo, SASAKURA Mariko, JOE Kazuki

    IPSJ SIG Notes   2000 ( 57 )   39 - 44   2000.6

     More details

    Language:Japanese   Publisher:Information Processing Society of Japan (IPSJ)  

    To use parallel computer systems effectively, users need to reconstruct their sequential appreciation into parallel programs, and such parallelization is not an easy work for general users. To solve such a problem, parallelizing compilers are developed, but it is still quite difficult to parallelize applications correctly, efficiently, and automatically. For this reason, some parallelization support tools are desired. NaraView, as such a support tool, visualizes the given programs by extracting internal information from a parallelizing compiler Parafrase-2. In this paper, we validate the ability of NaraView by parallelizing a real application.

    CiNii Article

    CiNii Books

    researchmap

    Other Link: http://id.nii.ac.jp/1001/00029476/

  • A data partitioning method and its visualization assuming that variable access costs are described as gravity

    SUGITA Moyo, OUTO Mayumi, SASAKURA Mariko, JOE Kazuki

    IPSJ SIG Notes   2000 ( 16 )   33 - 36   2000.2

     More details

    Language:Japanese   Publisher:Information Processing Society of Japan (IPSJ)  

    To obtain effective parallel processing in distributed memory systems, facing to data partitioning problems, we should investigate how data and task are arranged and divided into distributed memories. In this paper, we describe a data partitioning problem in distributed memory systems and an intermidiate representation of a parallelizing compiler, explain the support of clustering by gravity as a physical model, give an account of its visualization, and propose a data partitioning method with combination of the visualization. In addition, we report a prototype.

    CiNii Article

    CiNii Books

    researchmap

    Other Link: http://id.nii.ac.jp/1001/00033577/

  • Visualization of Data Partitioning Graphs in a 3 - D Space

    SUGITA Moyo, SASAKURA Mariko, JOE Kazuki

    IPSJ SIG Notes   1999 ( 76 )   21 - 24   1999.9

     More details

    Language:Japanese   Publisher:Information Processing Society of Japan (IPSJ)  

    In this paper, an overview of Universal Intermediate Representations (UIRs) for parallelizing compilers is presented and the characteristic of Data Partitioning Graphs (DPGs) is described. The general effectiveness of visualization has been mentioned, and the visualization of DPGs is proposed. The data access information of DPGs is represented by variable with access property. Then a visualization method of variable access information in DPGs is proposed for the support of optimal data distribution. In addition, a prototype implementation is reported to validate the effectiveness of our proposal by a concrete example.

    CiNii Article

    CiNii Books

    researchmap

    Other Link: http://id.nii.ac.jp/1001/00033597/

  • Development of a Parallelizing Support System for Cross - platform Programming Environments on a WindowsNT

    MIZUHARA Takamichi, HIRAO Tomoya, SAITO Tetsuya, SASAKURA Mariko, JOE Kazuki, KUNIEDA Yoshitoshi

    IPSJ SIG Notes   1999 ( 66 )   35 - 40   1999.8

     More details

    Language:Japanese   Publisher:Information Processing Society of Japan (IPSJ)  

    It is difficult for parallelizing compilers to transform sequential programs to efficiently parallelized programs automatically. To generate efficient parallel programs, programmers should indicate the part of a sequential program which they want to parallelize. NaraView, which is a visualization system for supporting program parallelization, can visualize the overall structure of parallel programs and information of data dependence. We ported the NaraView on a WindowsNT. We keep the former functions of NaraView to associate them with source programs on the new version. Moreover, we improved the user interface, and developed a module which can closely cooperate with a parallelizing compiler, Parafrase-2.

    CiNii Article

    CiNii Books

    researchmap

    Other Link: http://id.nii.ac.jp/1001/00029542/

  • NaraView: An interactive 3D visualization system for parallelization of programs

    M Sasakura, K Joe, Y Kunieda, K Araki

    INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING   27 ( 2 )   111 - 129   1999.4

     More details

    Language:English   Publisher:KLUWER ACADEMIC/PLENUM PUBL  

    For effective use of parallelizing compilers, an interactive environment which allows users to find more parallelism is needed. As the first step towards building such an environment, we have developed a program visualization system named NaraView. In this paper, we describe two visualization methods in NaraView. One is Program Structure View which illustrates the hierarchical loop structure of a given program and suggests which parts of the program can be parallelized. Another is the Data Dependence View which visualizes each data dependence on every variable or array element which is accessed in a specific loop. By using these views, users can easily understand which part of the program can be parallelized further. We also show several examples to demonstrate the efficiency of these methods.

    DOI: 10.1023/A:1018792319452

    Web of Science

    researchmap

  • 変数オリエンティッドなデータ依存関係モデルの提案

    笹倉万里子, 城和貴, 國枝義敏, 荒木啓二郎

    情報処理学会論文誌 数理モデル化と応用   1999

     More details

  • NaraView: an interactive 3D visualization system for parallelization of programs

    Mariko Sasakura, Kazuki Joe, Yoshitoshi Kunieda, Keijiro Araki

    International Journal of Parallel Programming   27 ( 2 )   111 - 129   1999

     More details

    Language:English   Publisher:Kluwer Academic/Plenum Publ Corp  

    For effective use of parallelizing compilers, an interactive environment which allows users to find more parallelism is needed. As the first step towards building such an environment, we have developed a program visualization system named NaraView. In this paper, we describe two visualization methods in NaraView. One is Program Structure View which illustrates the hierarchical loop structure of a given program and suggests which parts of the program can be parallelized. Another is the Data Dependence View which visualizes each data dependence on every variable or array element which is accessed in a specific loop. By using these views, users can easily understand which part of the program can be parallelized further. We also show several examples to demonstrate the efficiency of these methods.

    DOI: 10.1023/A:1018792319452

    Scopus

    researchmap

  • 並列化用ループ変換のための解析説明システム

    笹倉万里子

    人工知能学会誌   1999

     More details

  • NaraView: an interactive 3D visualization system for parallelization of programs

    Mariko Sasakura, Kazuki Joe, Yoshitoshi Kunieda, Keijiro Araki

    International Journal of Parallel Programming   27 ( 2 )   111 - 129   1999

     More details

    Language:English   Publisher:Kluwer Academic/Plenum Publ Corp  

    For effective use of parallelizing compilers, an interactive environment which allows users to find more parallelism is needed. As the first step towards building such an environment, we have developed a program visualization system named NaraView. In this paper, we describe two visualization methods in NaraView. One is Program Structure View which illustrates the hierarchical loop structure of a given program and suggests which parts of the program can be parallelized. Another is the Data Dependence View which visualizes each data dependence on every variable or array element which is accessed in a specific loop. By using these views, users can easily understand which part of the program can be parallelized further. We also show several examples to demonstrate the efficiency of these methods.

    DOI: 10.1023/A:1018792319452

    Scopus

    researchmap

  • Views and their connection in Nara View

    SASAKURA Mariko, KIWADA Satoko, JOE Kazuki, ARAKI Keijiro

    IPSJ SIG Notes   1997 ( 11 )   9 - 16   1997.1

     More details

    Language:Japanese   Publisher:Information Processing Society of Japan (IPSJ)  

    Parallelizing compilers aim to transform any sequential program to a parallel program automatically. But, general strategy of choosing the best transformation method have not been known. Therefore, we are developing a visualization system named NaraView, which provides an interactive compilation or programming environment for parallel computer user. In this paper, we describe views and their connection in NaraView.

    CiNii Article

    CiNii Books

    researchmap

  • 3D visualization of program structure and data dependence for parallelizing compilers and parallel programming

    Mariko Sasakura, Satoko Kiwada, Kazuki Joe, Tsuneo Nakanishi, Keijiro Araki

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   1239   591 - 593   1997

     More details

    Language:English   Publisher:Springer Verlag  

    For effective use of parallel computers, a tool which assists users to know the way of parallelization is needed. Since we believe visualization is a useful tool for parallelization, we are developing a tool named NaraView for parallelizing Fortran programs. In this paper, we propose two visualization methods in NaraView, which are 3D visualization of program structure and data dependence.

    DOI: 10.1007/BFb0017279

    Scopus

    researchmap

  • Visualizing Hierarchical Task Graphs

    Sasakura Mariko, Kiwada Satoko, Joe Kazuki, Araki Keijiro

    IPSJ SIG Notes   95 ( 82 )   25 - 32   1995.8

     More details

    Language:Japanese   Publisher:Information Processing Society of Japan (IPSJ)  

    For parallelizing compilers which generate parallelized programs from sequential programs, it is important to provide parallelization assist systems which help users to understand programs, debug, and extract parallelism that are hardly found out by only compilers. In this paper, we propose a program visualizing system which is based on HTG(Hierarchical Task Graph). The HTG was designed and implemented as an intermediate expression of the Parafrase-2 which is a parallelizing compiler developed in Ilinois Univ. We discuss an outline of our system and a method of visualizing graphs for HTG.

    CiNii Article

    CiNii Books

    researchmap

  • Visualizing data based on formal description - for extracting parallelism in serial programs

    1994 ( 55 )   17 - 24   1994.7

     More details

  • Defining actions by sample figures in CBAD.

    Mariko Sasakura, Naruki Mitsuda, Kenzo Iwama

    Proceedings of the 1993 IEEE Workshop on Visual Languages(VL)   381 - 383   1993

     More details

    Publisher:IEEE Computer Society  

    DOI: 10.1109/VL.1993.269557

    researchmap

  • Defining an action by examples in CBAD

    笹倉 万里子, 岩間 憲三, 満田 成紀

    全国大会講演論文集   45 ( 0 )   239 - 240   1992.9

     More details

    Language:Japanese  

    われわれが研究開発中のCBADはアニメーションに登場する対象(actor)とその動作をあらかじめ定義しておき,それらの対象に対する動作要求を継ぐことでアニメーションを作成するシステムである.CBADの特徴はものとものとの関係をconstraintで表わすことができるということである.これにより,ユーザはプログラミングよりも一歩抽象度の高いレベルでアニメーションを記述することができる.CBADに関しては第43回大会で発表した.今回は,CBADにおけるactorの定義,特にその中のactionの定義について述べる.アニメーションを作る時にユーザが独自のactionを定義する必要があることもある.独自のactorには表示されるactorのイメージを新たに登録したりすることも必要であるし,また,独自のactorを作成する必要に迫られることがある.actionの定義はactorの動きを定義することであり,一般的にはプログラミングが必要である.しかし,われわれはプログラマでないユーザにも使えるようにするために動き方を示す何枚かの図をユーザに入力してもらうことによってactionを定義する方法を提案する.例題によりものの指定を行うことは特にノンプログラマにとって有効であると考えられている.ユーザインターフェース関係で例題による指定を実現したものとしてはユーザインタフェース構築に例題による入力を用いたperidotとグラフィックエディタに例題による入力を用いたmetamouseが有名である.

    CiNii Article

    CiNii Books

    researchmap

▼display all

Presentations

  • ジェスチャを用いた商品注文システムのインタラクション設計

    第17回IEEE広島支部学生シンポジウム  2015 

     More details

  • 音声を活かしたタブレットPCでの失語症に対するリハビリアプリケーション

    第17回IEEE広島支部学生シンポジウム  2015 

     More details

  • 手や指のジェスチャ操作による日本語入力方法

    ヒューマンインタフェース学会研究会「コミュニケーション支援および一般(SIG-CE-12)」  2015 

     More details

  • 横断的読書による知識構造化支援システムの開発

    人工知能学会 SIG-ALST/SIG-ALST  2015 

     More details

  • Web から収集した空間データの視覚化のための一手法

    第22回人工知能学会全国大会  2008 

     More details

  • A Method to Visualize Numerical Data with Geographical Information using Feathered Circles

    NTCIR Workshop 7 Meeting  2008 

     More details

  • A method to visualize a huge amount of numerical data using feathered circles

    International Workshop on Super Visualization 2008  2008 

     More details

  • 色のぼかしにより疎な数値情報を表示するための一方法

    第21回人工知能学会全国大会  2007 

     More details

  • 状況制約下における並行モジュールのシーケンス構成論

    情報処理学会研究報告 2006-MPS-59  2006 

     More details

  • プログラミング演習におけるプログラムの評価についての一考察

    情報処理学会システム評価研究会  2005 

     More details

  • モードレスドローイングツールの試作

    インタラクション2005 ポスターセッション  2005 

     More details

  • An automated reasoning for diagnostic knowledge in a distributed environment

    The International Symbosium on Information and Communication Technologies  2003 

     More details

  • An Application of NaraView to Reasonings for Distributed Logic Programs

    PDPTA03  2003 

     More details

  • A Three-Dimensional Visualization of Communications in Distributed Program Environments

    7th International Conference on Information Visualization (IV03)  2003 

     More details

  • 論理プログラムにおける説明推論過程の視覚化システムの実装

    アクティブマイニング合同研究会  2003 

     More details

  • An explanation Reasoning Procedure Applicable to Loop Transformation in Compiler

    ACM ESEC/FSE International Workshop on Intelligent Technologies for Software Engineering WITSE03  2003 

     More details

  • ループ内依存関係の視覚的パターン化の試み

    情報処理学会 MPS 研究会  2002 

     More details

  • Concentric Circle Diagrams for Visualizing a Reasoning Process on an Extended Logic Program

    PDPTA'02  2002 

     More details

  • Classification of Visualized Data Dependence

    PDPTA'02  2002 

     More details

  • オイラー図を利用した一般論理プログラムの視覚化法

    第4回ビジュアルデータマイニング(VDM)研究会  2002 

     More details

  • A visualization method for knowledge represented by general logic programs

    Fifth International Conference on Information Visualization(IV2001), pp.135-140  2001 

     More details

  • Collaboration of Parafrase-2 and NaraView for Effective Parallelization Supports

    International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA'2000, VolumeII, pp.635-641  2000 

     More details

  • Intuitive Data Partitioning by a Simple Physical Model and Its Visualization

    International Conference on Parallel and Distributed Processing Techniques and Applications, pp.729-735  2000 

     More details

  • A Visualization Method for a Universal Intermediate Representation of Parallelizing Compilers

    ICS'99 Workshop1 Scheduling Algorithms for Parallel/Distributed Computing - From Theory to Practice - pp.55-61  1999 

     More details

  • Introducing Artificial Neural Networks to Estimate Lower Bounds for a Branch and Bound Based Program Partitioning Algorithm

    ICS'99 Workshop1 Scheduling Algorithms for Parallel/Distributed Computing - From Thorey to Practice - pp.13-20  1999 

     More details

▼display all

 

Class subject in charge

  • Engineering Ethics (2021academic year) Fourth semester  - 火1,火2,金5,金6

  • Engineering Ethics (2021academic year) Fourth semester  - 火1~2,金5~6

  • Information Technology Experiments C (Computer Software) (2021academic year) Fourth semester  - 火3,火4,火5,火6,火7,木3,木4,木5,木6,木7

  • Engineering English (2021academic year) Late  - その他

  • Technical Writing (2021academic year) Prophase  - その他

  • Technical Presentation (2021academic year) Late  - その他

  • Specific Research of Electronics and Information Systems Engineering (2021academic year) Year-round  - その他

  • Non-Procedural Programming Languages (2021academic year) 1st semester  - 火1,火2,金3,金4

  • Engineering Ethics (2020academic year) Fourth semester  - 火1,火2,金5,金6

  • Engineering Ethics (2020academic year) Fourth semester  - 火1,火2,金5,金6

  • Information Technology Experiments C (Computer Software) (2020academic year) Fourth semester  - 火3,火4,火5,火6,木3,木4,木5,木6

  • Laboratory Work on Information Technology II (2020academic year) Fourth semester  - 火3,火4,火5,火6,木3,木4,木5,木6

  • Engineering English (2020academic year) Late  - その他

  • Technical Writing (2020academic year) Prophase  - その他

  • Technical Presentation (2020academic year) Late  - その他

  • Specific Research of Electronics and Information Systems Engineering (2020academic year) Year-round  - その他

  • Non-Procedural Language (2020academic year) 1st semester  - 火1,火2,金3,金4

  • Non-Procedural Programming Languages (2020academic year) 1st semester  - 火1,火2,金3,金4

▼display all