المؤلفون: Hiroshi Unno, Taro Sekiyama

المصدر: Proceedings of the ACM on Programming Languages. 7:2079-2110

مصطلحات موضوعية: Safety, Risk, Reliability and Quality, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::eeffbbaefed6f565a5ccba31a5c19955
https://doi.org/10.1145/3571264

المؤلفون: Takeshi Tsukada, Taro Sekiyama

المصدر: Proceedings of the ACM on Programming Languages. 5:1-30

مصطلحات موضوعية: Soundness, Transformation (function), Theoretical computer science, Computer science, Semantics (computer science), Generalization, System F, Continuation-passing style, Parametricity, Affine transformation, Safety, Risk, Reliability and Quality, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::72e5e3042a3f2412df0d33e104727fa8
https://doi.org/10.1145/3473600

المؤلفون: Takeshi Tsukada, Taro Sekiyama, Atsushi Igarashi

المصدر: Proceedings of the ACM on Programming Languages. 4:1-30

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Programming Languages, Theoretical computer science, Computer science, Interface (Java), Novelty, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, Type (model theory), 01 natural sciences, Signature (logic), Set (abstract data type), 010201 computation theory & mathematics, restrict, Type safety, 0202 electrical engineering, electronic engineering, information engineering, Computer Science::Programming Languages, Algebraic number, Safety, Risk, Reliability and Quality, Software, Programming Languages (cs.PL)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ce56f853daa1b3ddc8d4730f9ad47692
https://doi.org/10.1145/3408999

المؤلفون: Naoki Kobayashi, Issei Sato, Taro Sekiyama, Hiroshi Unno

المصدر: Static Analysis ISBN: 9783030888053
SAS

مصطلحات موضوعية: Theoretical computer science, Artificial neural network, Computer science, Variation (game tree), Invariant (computer science), Program synthesis

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::81299bfb7c0962d06ad1ebab71c5269e
https://doi.org/10.1007/978-3-030-88806-0_12

المؤلفون: Taro Sekiyama, Yuu Igarashi, Atsushi Igarashi

المصدر: Proceedings of the ACM on Programming Languages. 1:1-29

مصطلحات موضوعية: Parametric polymorphism, Conjecture, Semantics (computer science), System F, 020207 software engineering, Type system, Gradual typing, 0102 computer and information sciences, 02 engineering and technology, Extension (predicate logic), 01 natural sciences, Algebra, 010201 computation theory & mathematics, Type safety, 0202 electrical engineering, electronic engineering, information engineering, Safety, Risk, Reliability and Quality, Algorithm, Software, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::008cbb9b8aca4387cc2bc742439343d6
https://doi.org/10.1145/3110284

المؤلفون: Michael Greenberg, Taro Sekiyama, Atsushi Igarashi

المصدر: ACM Transactions on Programming Languages and Systems. 39:1-36

مصطلحات موضوعية: Soundness, Parametric polymorphism, Computer science, Programming language, Runtime verification, Abstract type, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, 01 natural sciences, Logical relations, 010201 computation theory & mathematics, 0202 electrical engineering, electronic engineering, information engineering, Calculus, Parametricity, computer, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::c418656175d474da9e6b53e9a99b27c9
https://doi.org/10.1145/2994594

المؤلفون: Taro Sekiyama, Masaki Waga, Takamasa Okudono, Ichiro Hasuo

المصدر: AAAI

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer science, Machine Learning (stat.ML), 02 engineering and technology, 01 natural sciences, 010305 fluids & plasmas, Machine Learning (cs.LG), Statistics - Machine Learning, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, State space, Equivalence (formal languages), Equivalence (measure theory), Finite-state machine, business.industry, Novelty, General Medicine, Regression, Automaton, Recurrent neural network, 020201 artificial intelligence & image processing, Artificial intelligence, business, Computer Science::Formal Languages and Automata Theory, Counterexample

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a00332044a6017e09063bfca9d608857

المؤلفون: Atsushi Igarashi, Taro Sekiyama

المصدر: Programming Languages and Systems ISBN: 9783030171834
ESOP

مصطلحات موضوعية: Parametric polymorphism, Computer science, Programming language, 020207 software engineering, Value restriction, 0102 computer and information sciences, 02 engineering and technology, Software_PROGRAMMINGTECHNIQUES, Lambda, computer.software_genre, 01 natural sciences, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 010201 computation theory & mathematics, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Type safety, 0202 electrical engineering, electronic engineering, information engineering, Algebraic number, Lambda calculus, computer, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::fd914cd5d097cc6118ed9f5d535bdf83
https://doi.org/10.1007/978-3-030-17184-1_13

المؤلفون: Yusuke Miyazaki, Atsushi Igarashi, Taro Sekiyama

مصطلحات موضوعية: Soundness, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Theoretical computer science, Correctness, Computer Science - Programming Languages, Computer science, Semantics (computer science), Type inference, Inference, 020207 software engineering, Gradual typing, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Divergence (computer science), Term (time), Logic in Computer Science (cs.LO), 010201 computation theory & mathematics, 0202 electrical engineering, electronic engineering, information engineering, Safety, Risk, Reliability and Quality, Software, Programming Languages (cs.PL)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::35129c6a4a57f900183ccc1689e546a9
http://arxiv.org/abs/1810.12619

المؤلفون: Tung D. Le, Haruki Imai, Taro Sekiyama, Yasushi Negishi, Kiyokuni Kawachiya

المصدر: ICPE

مصطلحات موضوعية: Speedup, Artificial neural network, Data parallelism, business.industry, Computer science, Deep learning, Training (meteorology), CPU time, 02 engineering and technology, Parallel computing, 010501 environmental sciences, 01 natural sciences, 020204 information systems, Scalability, 0202 electrical engineering, electronic engineering, information engineering, Artificial intelligence, business, Host (network), 0105 earth and related environmental sciences

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::9a7082ab254a3eb84d20bbf1f2dc095d
https://doi.org/10.1145/3184407.3184424

المؤلفون: Taro Sekiyama, Kohei Suenaga

المصدر: Programming Languages and Systems ISBN: 9783030027674
APLAS

مصطلحات موضوعية: Artificial neural network, business.industry, Computer science, Deep learning, Estimator, Statistical model, 02 engineering and technology, 010501 environmental sciences, Mathematical proof, Propositional calculus, 01 natural sciences, Automated theorem proving, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Artificial intelligence, business, Rule of inference, 0105 earth and related environmental sciences

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::812e9ee6befe8e69e9132212d8f24e64
https://doi.org/10.1007/978-3-030-02768-1_17

المؤلفون: Masaharu Sakamoto, Hiroki Nakano, Taro Sekiyama, Kun Zhao

المصدر: ISBI

مصطلحات موضوعية: FOS: Computer and information sciences, Fusion, Receiver operating characteristic, business.industry, Computer science, Computer Vision and Pattern Recognition (cs.CV), Computer Science - Computer Vision and Pattern Recognition, Pattern recognition, Convolutional neural network, 030218 nuclear medicine & medical imaging, Machine Learning (cs.LG), 03 medical and health sciences, Computer Science - Learning, 0302 clinical medicine, False positive paradox, Artificial intelligence, business, Classifier (UML), 030217 neurology & neurosurgery

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a37f6b3d65e9b59a8ba6e7b8561ee723
http://arxiv.org/abs/1712.02198

المؤلفون: Taro Sekiyama, Atsushi Igarashi

المصدر: POPL

مصطلحات موضوعية: Functional programming, Computer science, Programming language, Effect system, Assertion, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, Separation logic, Design by contract, computer.software_genre, 01 natural sciences, Stateful firewall, 010201 computation theory & mathematics, 0202 electrical engineering, electronic engineering, information engineering, State (computer science), Boolean data type, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::3495be00ee2b857c33e2008e53a25a43
https://doi.org/10.1145/3009837.3009875

المؤلفون: Hiroki Nakano, Kun Zhao, Taro Sekiyama, Masaharu Sakamoto

المصدر: Image Analysis and Processing-ICIAP 2017 ISBN: 9783319685595
ICIAP (1)

مصطلحات موضوعية: Artificial neural network, Receiver operating characteristic, business.industry, Pattern recognition, 02 engineering and technology, Filter (signal processing), Convolutional neural network, 030218 nuclear medicine & medical imaging, Data set, Reduction (complexity), 03 medical and health sciences, 0302 clinical medicine, Computer-aided diagnosis, 0202 electrical engineering, electronic engineering, information engineering, False positive paradox, 020201 artificial intelligence & image processing, Artificial intelligence, business, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::57fb6c9e8699df88231da48cc96e5031
https://doi.org/10.1007/978-3-319-68560-1_33

المؤلفون: Taro Sekiyama, Yuki Nishida, Atsushi Igarashi

المصدر: POPL

مصطلحات موضوعية: business.industry, Semantics (computer science), Computer science, Programming language, Type (model theory), Translation (geometry), computer.software_genre, Software, Simple (abstract algebra), TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Algebraic data type, business, Programmer, computer, Type constructor

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::c18fd60ba5a386ed7de97c05ad51c524
https://doi.org/10.1145/2676726.2676996

المؤلفون: Taro Sekiyama, Soichiro Ueda, Atsushi Igarashi

المصدر: Programming Languages and Systems ISBN: 9783319265285

مصطلحات موضوعية: Blame, Flow (mathematics), Programming language, Abort, Computer science, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, media_common.quotation_subject, computer.software_genre, Control (linguistics), computer, media_common

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::0d51cc23eda472519f142d97964fa6d7
https://doi.org/10.1007/978-3-319-26529-2_11

المؤلفون: Michael Greenberg, Lu Wenfu, Taro Sekiyama, Jianzhou Zhao, Ron Garcia, Fritz Henglein, Arjun Ravi Narayan

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cis.upenn.edu/~mgree/papers/thesis.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.564.1901; http://www.cis.upenn.edu/~mgree/papers/thesis.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.564.1901
http://www.cis.upenn.edu/~mgree/papers/thesis.pdf

المؤلفون: Michael Greenberg, Lu Wenfu, Taro Sekiyama, Jianzhou Zhao, Ron Garcia, Fritz Henglein, Arjun Ravi Narayan

المساهمون: The Pennsylvania State University CiteSeerX Archives

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.460.1413

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.460.1413

المؤلفون: TARO SEKIYAMA, ATSUSHI IGARASHI, GREENBERG, MICHAEL

المصدر: ACM Transactions on Programming Languages & Systems; Feb2017, Vol. 39 Issue 1, p3-3:36, 36p

مصطلحات موضوعية: PROGRAMMING languages, COMPUTER programmers, COMPUTER programming, METATHEORY, COMPUTER science