約 2,107,994 件
https://w.atwiki.jp/pocari/pages/10.html
リンク Python関連リンクはPython入門にあります。 言語 What's Squeak SmallTalkの現在形Squeakの解説 Programming in Haskell Haskellについての解説 About Haskell こちらもHaskell解説の和訳 記事 押し寄せる無料ソフトウェアの波 ゲームデザインのこれから(7) Cooperate, Don't Control Wiki @wiki助け合い掲示板
https://w.atwiki.jp/dasm/
dasm @Wiki Haskell Haskell @Wiki ユーザ管理
https://w.atwiki.jp/hirotakaohkubo/pages/59.html
Overall Notation used http //programmers.stackexchange.com/questions/118869/notation-used-in-pearls-of-functional-algorithm-design (I don t agree, it seems just traditional mathematical notation to me.) Links to original publications http //www.reddit.com/r/programming/comments/dcimd/prof_richard_birds_pearls_of_functional_algorithm/ Github repository of Richard Bird s problems with quickcheck properties. https //github.com/sordina/Pearls-of-Functional-Algorithm-Design Chapter 1 I created Powerpoint slides that expand on the book s description. http //www.haskell.org/pipermail/beginners/2011-May/007039.html http //www.haskell.org/pipermail/beginners/2011-May/007041.html (Re ?) Chapter 2 "It seems like a quadratic algorithm or worse, to me." http //www.mail-archive.com/haskell@haskell.org/msg23208.html http //www.mail-archive.com/haskell@haskell.org/msg23209.html closed. Chapter 4 Extension This version assumes 3 disjoint ordered sets represented as sorted lists. http //www.unmeetup.com/messages/boards/thread/10750787 Place comment here Name Message
https://w.atwiki.jp/neetsdkasu/pages/76.html
引数が１つの式内で２箇所で現れる場合 f x = (x + 1) * ((x + 4) `div` 2) ひとまず演算子表現を関数表現に直す f x = (*) ((+) x 1) (div ((+) x 4) 2) xを含む項それぞれを関数にして一時的に切り出す f x = (*) (g $ x) (h $ x) g x = (+) x 1 h x = div ((+) x 4) 2 これの場合fは単純に２つの計算結果の積なのでListのfoldl1の形に直せる f x = foldl1 (*) [g $ x, h $ x] g x = (+) x 1 h x = div ((+) x 4) 2 リストの中身はそれぞれxを与えるだけの関数なのでzipWithと($)を使って関数とxを分離する f x = foldl1 (*) (zipWith ($) [g, h] [x, x]) g x = (+) x 1 h x = div ((+) x 4) 2 xを2つ含むリストはreplicate 2を使えばx一つの引数で実現可能 f x = foldl1 (*) (zipWith ($) [g, h] (replicate 2 x)) g x = (+) x 1 h x = div ((+) x 4) 2 f,g,hにひきすうをひっぱがすでやった手順と同様に施せばそれぞれでxが消える f = foldl1 (*) . zipWith ($) [g, h] . replicate 2 g = (+) 1 h = flip div 2 . (+) 4 g,hをfに戻す f = foldl1 (*) . zipWith ($) [(+) 1, flip div 2 . (+) 4] . replicate 2 完成！
https://w.atwiki.jp/hirotakaohkubo/pages/88.html
匿名で質問を受け付けるためのページ。 書き込みテストー -- テスト (2019-10-15 23 52 45) でもこれだと、書き込みがあっても気づかないなぁ。 -- 名無しさん (2019-10-15 23 53 22) 名前 コメント
https://w.atwiki.jp/munou/pages/47.html
もなぽ【登録タグ も 人工無脳】 公開ページ Haskellで人工無脳をつくろう — laskell 0.0.1 documentation 作者 kzfm 公開日 2012年7月 紹介 Haskellで人工無脳をつくると面白そうなのでやってみることにしました。Twitterのボットくらいを目指します。(公開ページより) スタンドアロン型。辞書型。 開発言語はHaskell。 ランダム応答と簡単な感情値のみ。 人工無脳作成のチュートリアルなので、全ソース公開 解説つき。 リンク 作者ブログ Drkcore コメント 名前 コメント
https://w.atwiki.jp/wiki6_vladinet/pages/48.html
C言語を5として評価 2009-12-31 23 07 48 (Thu) 言語 評価 C 5 C++ 4 perl 3.5 php 1 python 2.5 bash 1 java 1 haskell 0.5 C# 0.5 gaushe 0.5 javascript 0.5 2008-12-27 言語 評価 C 5 C++ 4.5 perl 3.5 php 1.5 python 2 bash 0.5 java 1.5 haskell 1 C# 1 2008-08-17 言語 評価 C 5 C++ 4 perl 3 php 1.5 python 2 bash 1 java 1.5 haskell 1 2007-12-24 01 49 42 (Mon) 言語 評価 C 5 C++ 3 perl 2.5 php 2 python 2 bash 1 java 1.5
https://w.atwiki.jp/kakis/pages/586.html
skel /// / いつもどおりでない 2 \ 13 seren klel skol \ 非常連、非日常 \ [ iyuan ] \ 常連でない、いつもと違った、不自然な、ぎくしゃくした、ギクシャクした \
https://w.atwiki.jp/asato/pages/333.html
印刷済み AOP言語 関数型 プログラム構造 言語Scala Erlang Haskell ML Orc Haskell C++ DSL Type Classes as Objects and Implicits, SPLASH 2010 Language Virtualization for Heterogeneous Parallel Computing, TR 2010 Modules as Objects in Newspeak, ECOOP 2010 JCoBox Generalizing Active Objects to Concurrent Components, ECOOP 2010 Predicated Generic Functions Enabling Context-Dependent Method Dispatch , SC 2010 Views Object-Inspired Concurrency Control, ICSE 2010 Design Pattern Implementation in Object Teams, SAC 2010 Capabilities for Uniqueness and Borrowing, ECOOP 2010 An Analysis of the Variability in Forty Preprocessor-Based Software Product Lines, ICSE 2010 The Design of a Task Parallel Library, OOPSLA 2009 Coding Without Your Crystal Ball Unanticipated Object-Oriented Reuse, PhD thesis 2009 CZ Multiple Inheritance Without Diamonds, OOPSLA 2009 Bidirectional Programming Languages, PhD thesis, 2009 Deprecating the Observer Pattern, TR 2010 Language Boxes. Bending the Host Language with Modular Language Changes, SLE 2009 Using Twinning to Adapt Programs to Alternative APIs, ICSE 2010 Batching A Design Pattern for Efficient and Flexible Client/Server Interaction, TPLoP Reusable Enterprise Metadata with Pattern-Based Structural Expressions, AOSD 2010 Mining API Mapping for Language Migration, ICSE 2010 Translucid Contracts for Aspect-oriented Interfaces, FOAL 2010 JavaCOP Declarative Pluggable Types for Java Weaving Generic Programming and Traversal Performance, AOSD 2010 The Mythical Matched Modules Overcoming the Tyranny of Inflexible Software Construction, Onward! 2009 Optimizing Non-functional Properties of Software Product Lines by means of Refactorings, VaMoS 2010 Lessons in Software Evolution Learned by Listening to Smalltalk, SOFSEM, 2010 Composing Feature Models, SLE 2009 Modeling the Variability of Architectural Patterns, SAC 2010 ModelTalk When Everything Is a Domain-Specific Language, IEEE Software 2009 Classification of model refactoring approache , JOT 2009 Programming language abstractions for mobile code, Ph.D. Thesis 2009 Harmony-Oriented Programming and Software Evolution, OOPSLA 2009 A Case Study to Evaluate the Suitability of Graph Transformation Tools for Program Refactoring, 2009 Transactors Unifying Transactions and Actors, TR 2009 An Approach for the Systematic Development of Domain-Specific Languages, SP E 2009 Context-oriented Software Transactional Memory in Common Lisp, DLS 2009 Improving API Usage through Detection of Redundant Code, ASE 2009 Panini A Language with Asynchronous, Typed Events , TR 2009 What Makes APIs Hard to Learn? Answers from Developers, IEEE SOftware 2009 Design Guidelines for Domain Specific Languages, DSM 2009 Combining Static and Dynamic Feature Binding in Software Product Lines, TR 2009 Programming Wireless Sensor Networks Fundamental Concepts and State-of-the-Art, Language Factories, Onward! 2009 Design Pattern Density Defined, Onward! 2009 Regrowing a Language Refactoring Tools Allow Programming Languages to Evolve, Onward! 2009 Provenance A Future History, Onward! 2009 Study of an API migration for two XML APIs, SLE 2009 Directing JavaScript with Arrows, DSL 2009 The Ruby Intermediate Language, DLS 2009 PIL A Platform Independent Language for Retargetable DSLs?, TR 2009, SLE 2009 An Ontology-Based Metalanguage with Explicit Instantiation, Master s thesis, 2009 VML* -- A Family of Languages for Variability Management in Software Product Lines, SLE 2009 Domain-Specific Metamodelling Languages for Software Language Engineering, SLE 2009 A Role-based Approach Towards Modular Language Engineering, SLE 2009 Practical, Pluggable Types for a Dynamic Language, Journal of Computer Languages, Systems and Structures, 2009 Typestate-Oriented Programming, Onward! 2009 Safe Composition of Non-Monotonic Features, GPCE 2009 Domain-specific languages in practice A user study on the success factors, MODELS 2009 Flapjax A Programming Language for Ajax Applications, OOPSLA 2009 Three Approaches to Object Evolution, PPPJ 2009 Minimizing Dependencies within Generic Classes for Faster and Smaller Programs, OOPSLA 2009 An Overview of Feature-Oriented Software Development , JOT 2009 JavaGI in the Battlefield Practical Experience with Generalized Interfaces, GPCE 2009 An Exploratory Study of CaesarJ Based on Implementations of the Gang-of-Four patterns, TR 2008 Intenational workshop on Context-oriented Programming 2009 Safe Functional Reactive Programming through Dependent Types, ICFP 2009 Push-pull functional reactive programming, Haskell Symposium 2009 Type-Safe Observable Sharing in Haskell, Haskell Symposium 2009 Parallel Concurrent ML, ICFP 2009 Types and Modularity for Implicit Invocation with Implicit Announcement, TOSEM 2009 Fine-Grained Access Control with Object-Sensitive Roles, ECOOP 2009 Compiling Structural Types on the JVM, Fourth Workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems 2009 Hygiene for the Unhygienic Hygiene-Compatible Macros in an Unhygienic Macro System, 2nd European Lisp Symposium 2009 Monadic Memoization Mixins, SBLP 2009 Computer Code as a Medium for Human Communication Are Programming Languages Improving?, PPIG 2009 Type-Safe Feature-Oriented Product Lines, TR 2009 Controlled Evolution of Adaptive Programs, TR 2009 A Generative Approach to Traversal-based Generic Programming, TR 2009 印刷済み Refactoring Feature Modules, ICSR 2009 AOP Method Proxy-Based AOP in Scala, JOT 2009 User-Defined Join Point Selectors An Extension Mechanism for Pointcut Languages, JOT 2008 Gradual Encapsulation, JOT 2008 Dynamic Aspects — An AOP Implementation for Squeak, Masters thesis, 2008 Automating Deployment Planning with an Aspect Weaver, 2009 Functional Adaptive Programming, 2008 Constraint-based Model Weaving Dependent advice A general approach to optimizing history-based aspects On the Impact of Aspectual Decompositions on Design Stability An Empirical Study? Model driven design and aspect weaving Resource-based Verification for Robust Composition of Aspects,PhD thesis Prototyping and Composing Aspect Languages using an Aspect Interpreter Framework, ECOOP 2008 Marius Marin, An Integrated System to Manage Crosscutting Concerns in Source Code, PhD Thesis, 2008 How AspectJ is Used An Analysis of Eleven AspectJ Programs User-Changeable Visibility Resolving Unanticipated Name Clashes in Traits, OOPSLA07 Relational Aspects as Tracematches Modularity First A Case for Mixing AOP and Attribute Grammars StrongAspectJ Flexible and Safe Pointcut/Advice Bindings Dynamically Linked Domain-Specific Extensions for Advice Languages] Reasoning about aspects with common sense, AOSD 2008 A Controlled Experiment for the Assessment of Aspects - Tracing in an Industrial Context Crosscutting, what is and what is not? A Formal definition based on a Crosscutting Pattern Weave Now or Weave Later A Test Driven Development Perspective on Aspect-oriented Deployment Models Contracts for Aspect-Oriented Design, SPLAT 2008 Balancing Language Concerns Who Decides?, SPLAT 2008 Groovy AOP A Dynamic AOP System for a JVM-based Language, SPLAT 2008 On-Demand Materialization of Aspects for Application Development, SPLAT 2008 Composability of Aspects, SPLAT 2008 Implementing Design Patterns in CaesarJ an Exploratory Study, SPLAT 2008 Enforcing Behavioral Constraints in Evolving Aspect-Oriented Programs , FOAL 2008 ERedundancy-free Residual Dispatch , FOAL 2008 言語 Dependent Advice A General Approach to Optimizing History-based Aspects, AOSD 2009 関数型 A Functional I/O System (or Fun for Freshman Kids) , ICFP 2009 プログラム構造 Language-Independent Quantification and Weaving for Feature Composition, SC 2009 FeatureHouse Language-Independent, Automated Software Composition, ICSE 2009 言語 Expressive and Modular Predicate Dispatch for Java, TOPLAS 2009 Growing a Language The GLoo Perspective, SC 2008 From Java to UpgradeJ An empirical study, Hotswup 2008 Multiple Dispatch in Practice, OOPSLA 2008 Constrained Types for Object-Oriented Languages, OOPSLA 2008 Calling Variadic Functions from a Strongly-typed Language. ML Modules and Haskell Type Classes A Constructive Comparison, APLAS 2008 Bristlecone A Language for Robust Software Systems, ECOOP 2008 Implicitly-threaded parallelism in Manticore, ICFP 2008 Variable-Arity Generic Interfaces, TR 2008 Traits at Work the design of a new trait-based stream library Scala Scala for Generic Programmers, WGP 2008 Erlang A History of Erlang Haskell Making Monads First-class With Template Haskell, Haskell 2008 Harnessing the Multicores Nested Data Parallelism in Haskell, FSTTCS 2008 Type Checking with Open Type Function, ICFP 2008 The Haskell Programmer’s Guide to the IO Monad (PDF) Comparing Libraries for Generic Programming in Haskell ML http //wasp.cs.washington.edu/wasp_pubs.html, ICFP 2008 Orc The Orc Programming Language, IFIP international conference on Formal Techniques for Distributed Systems 2009 Haskell Push-pull functional reactive programming, Haskell Symposium 2009 C++ What is C++0x, 2009 DSL Using the Meta-Environment for Domain Specific Language Engineering, TR 2008 When And How To Develop Domain-Specific Languages (PDF), 2005 Compiling Embedded Languages, 2003 DSL Implementation in MetaOCaml, Template Haskell, and C++. , 2004
https://w.atwiki.jp/c9_kcfg/pages/17.html
キャラクター 職 レベル 職人レベル 狩り専/対人専/両方 一言 skelt ジンエレメンタリスト Lv57 錬金Lv80 狩り専 養成所/神殿SP未完了 猿経 スカウト Lv63 木工Lv80 両方 目指せ神ヘル19分代。装備も整えたい･･･。 ディヴォース バーサーカー Lv61 調理Lv60 両方 コンボ練習しなくちゃllorz o0スピカ0o イリュージョニスト Lv57 未定 狩り専 Lv51アクセ揃えたい。 アルマリオ ウォーデン Lv62 織物Lv62 狩り専 アキューバの巣/養成所どちらかSPクエ未完了 先行量産型 シャドウ Lv63 金属Lv80 両方 武器とアクセサリーを早く揃えたいです。 たこやきそば バレットシューター Lv57 狩り専門 未定 バレシュvsバレシュ是非やってみて下さい!!乱入はFPSみたいな感じになります。 資金メモ メモ帳 連絡 主なネトゲ履歴 主なMMO履歴 〔巨商伝 たくぼん★〕 〔SiLKROAD ONLINE silⅵa〕 〔DEKARON 0ne〕 〔Legend of LUNA 長月〕 〔Lineage2 s0lt〕 〔グラナドエスパダ SKELT〕